Allow fully-annotated polymorphic recursions (and fix universal quantification) #31

Closed gfngfn closed 3 years ago