http://www.haskell.org/haskellwiki/Monads_as_containers>A monad is a container type together with a few methods defined on it. Monads model different kinds of computations. http://www.haskell.org/haskellwiki/Monads_as_containers