this sounds like structural subtyping, which is most definitely not under consideration, because there is no reasonable way to implement it on the JVM