free-types
A type-level library enabling the creation and the manipulation of type constructors which are detached from their type parameters.
Version 0.12.0 License ICS
INSTALL
A type-level library enabling the creation and the manipulation of type constructors which are detached from their type parameters.