fmap and show
reverse
Applicative
Monad