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

The identity of <|>