Monad
shims
map
Functor