[bPspGiJT8Y]

> 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`.

[kfixjviv]

Haskell's sequence is not the same as strength. Strength specifically involves pairs.

Nobody seems to know where "strength" got its opaque name from. Like, nobody, not even the guy who first published the term.

There is another article on the topic here:

http://comonad.com/reader/2008/deriving-strength-from-lazine...