:: Monoid_a _ => _ a -package:loc package:parser-combinators is:exact

The identity of <|>