last
Monoid
left
Applicative Functor
list
Functor Monoid