(and if you're already using other monads, you're in for some pain since 1) monads don't compose and 2) say hello to monad transformers)