Experimenting with Monads