This actually relates to the "Extension types" ide...

# language-proposals

[damian]

This actually relates to the "Extension types" idea above... the idea is the same, to externally implement an interface on a type