https://www.cs.ox.ac.uk/publications/publication8765-abstract.html
try-catch みたいな高階のエフェクトを扱うエフェクトシステムについては、正直言うと理解がいまいち出来てなくてスルーしてきたんですよねただそろそろちゃんと理解せんといかんなと思い・・・
正面からこの問題に取り組んでるライブラリとしては fused-effects が一番なのかなぁ
https://hackage.haskell.org/package/fused-effects
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
try-catch みたいな高階のエフェクトを扱うエフェクトシステムについては、正直言うと理解がいまいち出来てなくてスルーしてきたんですよね
ただそろそろちゃんと理解せんといかんなと思い・・・