instance Eq a => Eq [a] where
  (==) _ _ = False

instance ( Ord a
         , Ord b
         )
         => Ord
              (a, b) where
  compare _ _ = GT