module A where

data T1 = X