Manifold: Java Type-Safe Metaprogramming, Structural Typing, Extension Methods
github.com