module T1 where

data X = X

instance Eq X where
  (/=) = _