1 2 3 4 5 6 7 8 9
1 2 2 type T1 :: * data T1 = MkT1 -- Defined at <interactive>:6:1 type T2 :: * data T2 = MkT2 -- Defined at <interactive>:8:2