> How would you create a non-strong monad in Haskell, and why might you want to, or is it impossible?

I think the article implies it clear enough that it's impossible. Even if your monad has nonsensical (but lawful) semantics like `Proxy t` it's still possible to use it with `strength`. BTW the `strength` function is called `sequence`.