module T5 where

data X = X

instance Eq X where

x = ()