例外処理と随伴ペア

• モナドにおける「拡張」の補遺：アンクライスリ化かな - 檜山正幸のキマイラ飼育記

例外モナドのクライスリ圏の話。tryブロックが埋め込みJの随伴であること。これ、アイレンベルク／ムーア圏だとどうなる？ 例外モナドのアイレンベルク／ムーア代数は付点集合の拡張になるはず。例外のキャッチがアイレンベルク／ムーア代数（加群）で、その後のハンドラー射を続ける、ということだったような。

noexcept宣言の意味をよく考える必要もある。