@@ -0,0 +1,23 @@
1+module OverlappingInstances where
5+instance eqA1 :: Eq A where
9+ (/=) x y = not (x == y)
11+instance eqA2 :: Eq A where
15+instance ordA :: Ord A where
20+test :: forall a. (Ord a) => a -> a -> String
21+test x y = show $ x == y
23+main = Debug.Trace.trace $ test A B