-- !!! Testing duplicate data constructors
data T1 = K
data T2 = K