『エフェクトに部分型のある代数的効果』

こんにちは､びしょ〜じょです｡ これは型Advent Calendar 2019の9日目の記事の記事です｡ 空いてるので9日目にタイムスリップして前日に続いて記事を突っ込みました｡

実際の記事はこちら: エフェクトに部分型のある代数的効果(pdf)

実装が先立ってたものを適当に定式化しました｡