module T1 where

data X = X

instance Eq X where
  (==) = _

x = ()