1 2 3 4 5 6 7 8 9 10 11
main = print (id2 (id2 id2) (42::Int)) -- where -- id2 = s k k -- id2 x = s k k x id2 = s k k s x y z = x z (y z) k x y = x