-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
+import "Prelude"
+
+newEq = (==)
+
+main = """
+\(newEq () ())
+\(newEq True True)
+\(newEq False False)
+\(newEq True False)
+\(newEq False True)
+\(newEq (1::Integer) (1::Integer))
+\(newEq (1::Integer) (2::Integer))
+\(newEq (1::Long) (1::Long))
+\(newEq (1::Long) (2::Long))
+\(newEq (1::Double) (1::Double))
+\(newEq (1::Double) (2::Double))
+\(newEq "a" "a")
+\(newEq "a" "b")
+\(newEq (Just "a") (Just "a"))
+\(newEq (Just "a") (Just "b"))
+\(newEq Nothing Nothing)
+\(newEq (Just "a") Nothing)
+\(newEq Nothing (Just "a"))
+"""
+--
+True
+True
+True
+False
+False
+True
+False
+True
+False
+True
+False
+True
+False
+True
+False
+True
+False
False
\ No newline at end of file