Replace `Maybe.fail` with `fail`
Use `Monad.m` notation in `Reader` tests and examples