A type-level library enabling the creation and the manipulation of type constructors which are detached from their type parameters.