Use `Monad.m` notation in `Monad.Error` tests and examples