What does it mean for a monad to be strong?
So, strength is the ability to write a monad-related function you can define if you need to, like any other function you might write that had a monad argument. But you can&#x27;t not in math monads, for reasons not explained.<p>I don&#x27;t see how this helps anyone.<p>What is different about a math monad that makes strength no available, and why is that interesting?<p>How would you create a non-strong monad in Haskell, and why might you want to, or is it impossible?<p>Seems to lean to much on a sort of false connection between Haskell and math, where two similar but different things have the same name.