クライスリ圏
T A = Pfin(A)
ηA は単要素(singleton)写像 a ↦ {a}
f : A -> T B かつ c ∈ T A であれば、f(c) = ∪x ∈ cf(x)
計算によって得られた型 A の値(computations of type A)は、型 T A の値に対応する
(Computations of type A correspond to values of type T A.)
特に、この計算方式を表す型構築子 T を計算概念(a notion of computation)と呼ぶ。
また、必然的に計算した値を返すプログラム概念は次のようになる。
モッジが(暗黙的に)主張するプログラムの概念 型 A の引数を取り T の計算効果を伴いつつ計算をした型 B の値を返すプログラム(program)とは、 A → T B の型を持つものである。
この特徴付けによって、計算効果 T を伴うプログラムとなんら計算効果を持たない単なる集合写像(関数)は区別できるようになる。ただし、その代わりに2つのプログラムの合成を関数のように単純に行うことができなくなるのである。