--- /dev/null
+foreign import "ilxHello" unsafe ilxHello :: IO ()
+foreign import "ilxBad" unsafe ilxBad :: IO ()
+
+class Eqq a where
+ eqq :: a -> Bool
+ eqq2 :: a -> Bool
+
+-- x /= y = not (x == y)
+-- x == y = not (x /= y)
+-- x /= y = True
+ eqq x = False
+ eqq2 x = True
+
+
+data Unit = Unit
+
+instance Eqq Unit
+-- where
+-- eqq Unit = True
+-- eqq2 Unit = False
+
+choose x = if eqq x then ilxHello else if eqq2 x then ilxBad else ilxBad
+
+main = choose Unit