instance {-# OVERLAPPABLE #-} Eq Int where (==) _ _ = False

instance {-# OVERLAPPING #-} Ord Int where
  compare _ _ = GT

instance {-# OVERLAPS #-} Eq Double where
  (==) _ _ = False

instance
  {-# INCOHERENT #-}
  Ord
    Double
  where
  compare _ _ = GT