I recommend Wadler's very readable paper "Monads for functional programming" (http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/ba...) which defines exactly what Monads in the context of functional programming are and how they help with IO, State etc.