Added existential quantification in data constructors