Getting the ErpM monad