Родословные зависимых типов на JavaScript

Просто по фану будем говорить, как добиться параметрического полиморфизма конструкторов родов типов, и об управлении зависимыми состояниями Runtime в JavaScript.