module T7672 where
import qualified T7672a as XX
data T = S XX.T