I'm curious if the impedance mismatch Guy Steele describes between Fortress's type system and the JVM could be remedied by InvokeDynamic. Unfortunately he didn'

I'm curious if the impedance mismatch Guy Steele describes between Fortress's type system and the JVM could be remedied by InvokeDynamic. Unfortunately he didn't mention anything about it in his blog post.