monads: playing with them