WIP Rescope quantifiers in generalized function types.