-- !!! Omitted constructor from export list
module M(T(K1)) where
data T = K1|K2