1 2 2 data T1 = MkT1 -- Defined at :6:1 data T2 = MkT2 -- Defined at :8:2