-- !!! Duplicate export of constructor
module M(T(K1,K1)) where
data T = K1