noelwelsh 3 days ago

One can start with a partial explanation and expand it cover all the cases as learning progresses. This is how most learning takes place. I expect your primary school teachers introduced numbers with the natural numbers, instead of, say, transfinite numbers. Students learn Newtonian physics before relativity. It's completely fine to build an understanding of monads as operating on containers, and then expand that understanding as one encounters more cases.

1
_jackdk_ 2 days ago

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