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