:: Monoid_a _ => _ a package:effectful-core

The identity of <|>