:: Monoid_a _ => _ a -package:base-prelude package:optional-args

The identity of <|>