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

The identity of <|>