Monads are a bit crazy