{-# LANGUAGE InstanceSigs #-}

instance Eq Int
  where
    (==) :: Int -> Int -> Bool
    (==) _ _ = False

instance Ord Int where
    compare ::
           Int
        -> Int
        -> Ordering
    compare
        _
        _
        = GT

instance Applicative [] where
  pure ::
       a
    -> [a]
  pure a = [a]
  (<*>)
    :: [ a ] -> [ a ] -> [ a ]
  (<*>) _ _ = []