:: Monoid_a _ => _ a -package:Cabal-syntax -package:mtl-prelude package:algebraic-graphs

The identity of <|>