Data.Invertible.Monoid
data
BiEndo
a
dual
endo
biEndo
all
any
sum
product
first
last
alt