Monad exercise.