Assertion: existential quantifier's scope | /r/HasProperty | within first parameter
Facets:
Source sentences:
text: The effect of the rank-2 polymorphism in runST 's type is to constrain the scope of the type variable s to be within the first parameter.