:: Monoid_a _ => _ a package:verset

The identity of <|>
empty <|> a     == a
a     <|> empty == a