Compiling Structural Types on the JVM
lambda-the-ultimate.org