An intuition of monads built on "flattening" nested layers of `m` is easier to teach and works for more monads.