>>490
データ型を駆使するやりかたをおぼえたいっす。

data X a = T (X a -> a)
fixpoint g = (\x -> g (x (T x))) (\(T x) -> g (x (T x)))

こういうのを見るんだけど、どこをxにしてどこを(T x)にするかとかの考え方がわからないんだよね。

>>487
そうか！
vはペアを作る関数として使ってたんだ。
isZeroでkを与えてcar部のfalseを取り出して非ゼロと判定してたのか。