型チェックのすりぬけの必要なくeffect systemが作れるレベルで、堅牢かつ柔軟な型システムを持った新しい言語というものは、ひとつあったほうがいいし、それはたぶんHaskellという伝統的な言語の枠組みのなかでやろうとすると、なかなか難しいように思う。