Existential types in parser