Allow `use Monad` to import the `m` macro

Import and require are two different things, with `use` they now are a single
line.
Use alias in either doctest
Merge branch 'pm-use-monad' into develop