Compiler plugin for making type lambdas (type projections) easier to write - View it on GitHub