Monad
kits
Monoid
kits
map
Applicative
Functor
Monad
Monoid
Traverse
multiply
Monoid