non/kind-projector

kind-projector - Compiler plugin for making type lambdas (type projections) easier to write