:: Monoid_a _ => _ a -package:mtl -package:mtl-prelude -package:control-monad-free package:optional-args

The identity of <|>