:: Monoid_a _ => _ a -package:mtl -package:massiv-test package:configuration-tools

The identity of <|>