data IntNeverEqual a =
    Value a

instance Num a => Eq (IntNeverEqual a) where
    (==) a a' = False

instance Eq (IntNeverEqual a) where
    (==) a a' = True