:: Monoid_a _ => _ a -package:adjunctions -package:protolude package:loc

The identity of <|>