No. Just subtyping.
# language-proposals
d
No. Just subtyping.