Type system for javascript checked at runtime, supporting parametric polymorphism and kinds (types of types) - View it on GitHub