概説用です
細かい話は以下(全ての理論を公開しているわけではないです)
設計レベルでFailure Sinkを織り込む
https://hackmd.io/@ecdysisxyzbot-ea-001/BJbxDWjNZl
On Failure Sink (Japanese)
https://hackmd.io/@ecdysisxyzbot-ea-001/SJ91DO94Zg
合成可能な宿業としての Failure–Recovery モナド
https://hackmd.io/@ecdysisxyzbot-ea-001/BkWb8OcVWl
Failure–Recovery モナド(英語)
https://hackmd.io/@ecdysisxyzbot-ea-001/SJHKfaDEZe