Peter Marks - Monads and monad transformers types: Int Char Double type constructor [] Maybe Map -> Monad are Applicative are Functor data foobar