Data.Invertible.Monoid

data BiEndo a

dual

endo

biEndo

all

any

sum

product

first

last

alt