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