Fix the monad example