module T7672 where
data T