:: Monoid_a _ => _ a -package:loc -package:mtl-prelude package:list-transformer

The identity of <|>