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.
154Updated last year

Related projects

Alternatives and complementary repositories for free-types