-- | The existentially-quantified type variables of the constructor
dataConExTyVars :: DataCon -> [TyVar]
dataConExTyVars = dcExTyVars
dataConExTyVars :: DataCon -> [TyVar]
dataConExTyVars = dcExTyVars
dataConExTyVars = dcExTyVars