:: Monoid_a _ => _ a -package:base -is:exact package:fmlist

The identity of <|>