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

The identity of <|>