Yes. Also, it gives you yet another hint that type...
# language-proposals
d
Yes. Also, it gives you yet another hint that type aliases are not types.