4.5.out x = 1 ]]> y = x => (x => y) ]]> def)") ]]> (x => y) = x -> y ]]> (y => x) = 1 ]]> c1 != 1 ]]> x = 1 ]]>