Monads by Example