Monoid
cats
map
IO