:: Monoid_a _ => _ a package:list-transformer

The identity of <|>