:: Monoid_a _ => _ a -package:protolude -package:loc package:algebraic-graphs

The identity of <|>