appendixB1.2.x1

I x = x;
K x y = x;
S f g x = f x (g x);
twice f x = f (f x);
id = S K K;
main = twice (I I I) 3;