いい例かどうか分からないが
http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html
http://www.haskell.org/haskellwiki/Monads_as_containers
http://www.haskell.org/haskellwiki/Monads_as_computation