<![CDATA[ module Test where { cons x y = \f -> f x y; car f = f (\x y -> x); cdr f = f (\x y -> y); main = alert (car (cons 1 2)) } ]]>