Use `Monad.m` notation in examples
Prefix function name with module name

The `m` monad has changed and it now includes an import again. This
import overrides previous imports, thus (here) `fail` needs to be
prefixed.