And what if you want to do two things? Then you try to use monad transformers until you collapse in a heap.