GHC Generics in Java via associated types

Extending my type class resolution library to support an approximation of associated types, so that I can build something like GHC Generics for Java.