free-types (npm): A type-level library enabling the creation and the manipulation of type constructors which are detached from their type parameters.
Keywords: higher-kinded-types|hkt|type-level-programming|typescript