-- !!! Testing duplicate type constructors
data T = K1
data T = K2