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

The identity of <|>