Compiling Structural Types on the JVM · HackerTrans