JavaScript dependent type lineages

Just for fun we will talk about how to achieve parametric polymorphism of type constructors, and about managing dependent runtime states in JavaScript.