> if we can't even use Monads without mathematically knowing they are Monads then no one is ever going to be using them. You don't need to know what a monad i

> if we can't even use Monads without mathematically knowing they are Monads then no one is ever going to be using them. You don't need to know what a monad is to use one. Everyone who has ever written a computer program has used one. Knowing that you're using a monad, and what that means about your program structure, is the entire value proposition here - actually applying particular monad operations is utterly trivial. "Monad" belongs in the same category as "data structure", not "tree".