Yes, N*(complexity of subtyping)
# language-proposals
d
Yes, N*(complexity of subtyping)