Haskellのeffect systemは言語拡張を使いすぎてて、ほとんどHaskellじゃない気がする。

一度型チェックをすりぬけておいて、その後でチェックするみたいな技法も使うし。

Haskell primeみたいな何か別の言語に思える。

effect systemみたいな話になってくると「Haskellの次」が求められるけど、本当に人々はエフェクトシステムを求めているのだろうか。