:: Monoid_a _ => _ a -package:base -package:effectful-core package:loc

The identity of <|>