--- /dev/null
+import "Prelude"\r
+\r
+main = """\r
+\(newEq () ())\r
+\(newEq True True)\r
+\(newEq False False)\r
+\(newEq True False)\r
+\(newEq False True)\r
+\(newEq (1::Integer) (1::Integer))\r
+\(newEq (1::Integer) (2::Integer))\r
+\(newEq (1::Long) (1::Long))\r
+\(newEq (1::Long) (2::Long))\r
+\(newEq (1::Double) (1::Double))\r
+\(newEq (1::Double) (2::Double))\r
+\(newEq "a" "a")\r
+\(newEq "a" "b")\r
+\(newEq (Just "a") (Just "a"))\r
+\(newEq (Just "a") (Just "b"))\r
+\(newEq Nothing Nothing)\r
+\(newEq (Just "a") Nothing)\r
+\(newEq Nothing (Just "a"))\r
+"""\r
+--\r
+True\r
+True\r
+True\r
+False\r
+False\r
+True\r
+False\r
+True\r
+False\r
+True\r
+False\r
+True\r
+False\r
+True\r
+False\r
+True\r
+False\r
+False
\ No newline at end of file