module A (T,t) where

data T = T
t = T

instance Eq T where
  t1 == t2 = True