In monads we trust.