Higher Kinded Type machinery for Java - View it on GitHub