3.6.out (x => (x => y)) = x => (x => y) ]]> (x -> y) = x -> y ]]> y != 1 ]]> x != 1 ]]> (x => y) = x -> y ]]> (y => x) = 1 ]]> (c1 => (c1 => c2)) != c1 => (c1 => c2) ]]> y) => (x -> y) = 1 ]]> (c1 -> c2) != c1 => (c1 => c2) ]]> (x -> y)) => (x -> y) = 1 ]]> (x -> y) = x -> y ]]> (c1 -> c2) != c1 -> c2 ]]>