Consistently name monads `monad_m` in specs