It's hard to compile efficiently, because you need to efficiently do the method lookup in the implementation.