Implemented hoisting of poly-vars from the result type to the entire function if the argument type happens to contain a variable that got quantified in the result type during inference.
Implemented hoisting of poly-vars from the result type to the entire function if the argument type happens to contain a variable that got quantified in the result type during inference.

thasenpusch/fun-lang,thasenpusch/fun-lang