モナドは何を可能にし、何を不可能にするのか：追加ページによる詳細解説

遅延モナドと他のモナドの組み合わせを体系的に研究することで、型理論における様々な計算効果の表現能力と限界を明らかにする。