That actually makes a lot of sense.

You've got VM tech like polymorphic inline caches, and the kind of speculative devirtualization and subsequent inlining that you can only get from a JIT that'll flatten these towers of complexity at runtime.

And you have a simple static type system that can easily tooled to flatten it on developer mind space as well.