>What is different about a math monad that makes strength no available, and why is that interesting?

Let's turn it around. Why is strength for Haskell Monads interesting?

Answer: it enables a nicer do notation, you can use intermediate values:

https://mroman42.github.io/notes/Pieces/Do-notation-for-stro...