Type Inference Algorithm in TypeScript for Higher Rank Polymorphic Typesgithub.com/cdiggins2 pointscdiggins8 years ago