Remove existential quantified type variables from AbstractCurry
The variables are removed with merge request !11 (merged), but we decided later to add them back to not break existing tools and packages. In the future this should be removed again.
The variables are removed with merge request !11 (merged), but we decided later to add them back to not break existing tools and packages. In the future this should be removed again.