Monoid
cats
map
StateT
modify
StateFunctions
StateT