Maybe we’re not agreeing on the definition but to ...

# language-proposals

[cedric]

Maybe we’re not agreeing on the definition but to me, this is parametric polymorphism: your class extends Comparable and always will. There’s nothing “ad-hoc” about it.