Not a proposal but a question on type alias:
# language-proposals
d
Not a proposal but a question on type alias: