I think one problem is that there is the mathematical concept of monad and the programming pattern monad. On abstract level they are the same, but in practice a

I think one problem is that there is the mathematical concept of monad and the programming pattern monad. On abstract level they are the same, but in practice and for illustrative purposes they are not.