Once I learned how simple monads really are I found them a lot less scary, and something I could apply wherever I'm programming, not just in Haskell or another big-brain programming language. And no, not in the "a monad is just a monoid in a category of endofunctors, what's the big deal?" sense.<p>Monads are a design pattern. Period. You have an object, it has at least two methods: return and bind. Using these two methods together must produce results that follow the monadic laws. Okay, now go nuts with that, because you have a <i>generalized</i> way to sequence operations expressed as combinators with controlled "side effects". The monad encapsulates both the value transformations <i>and</i> the side effects. It's a neat pattern, but just another tool in the programmer's toolkit. Big brain come up with it, but no need big brain to <i>use</i> it. Now grug brain use monad too, trap complexity demon in crystal of monadic type.<p>I think the more we lose our fear of these cool concepts and treat them like ordinary programmers' tools, the more we might see Haskell used for grug brain stuff.<p>But really, Rust have enough big brain concepts for everyday use, close enough to Haskell without garbage collector complexity demon. Now where grug put programming socks?