geoffreytools / free-types

A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
157Updated last year

Alternatives and similar repositories for free-types:

Users that are interested in free-types are comparing it to the libraries listed below