module B where data T2 = X