well, if you think about how extension types can b...
# language-proposals
y
well, if you think about how extension types can be implemented, this is essentially the same thing