I'm the monad maker