module A where

data T