Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS - View it on GitHub