:: Monoid_a _ => _ a -package:hledger-web -package:adjunctions package:algebraic-graphs

The identity of <|>