Manifold: Java Type-Safe Metaprogramming, Structural Typing, Extension Methods | Dark Hacker News