Lazy K
Haskell の表記法を用いる。
I x = x
K x y = x
S x y z = (x z) (y z)
なお、I は S と K を用いて I = SKK と表せる。
Iota 記法では、i=λx.xSK=S(SI(KS))(KK) を唯一の組み込み関数として使用する。