module A where
data T = T