This is long overdue, and brilliant and well thought out work. But I can't help but feel like this is shoehorning a useful concept into a primitive type system

This is long overdue, and brilliant and well thought out work. But I can't help but feel like this is shoehorning a useful concept into a primitive type system that only knows inheritance as an abstraction. This sort of thing would be dead simple with Impl in Rust or Trait in Scala.