:: Monoid_a _ => _ a -package:parser-combinators -package:algebraic-graphs package:list-transformer

The identity of <|>