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 ]]>