module T1 where

data X = X

instance Eq X where

x = ()