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