-- !!! Exporting unknown constructor
module M(T(K1,K2)) where
data T = K1