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