We might consider "type projection aliases" as an ...
# language-proposals
d
We might consider "type projection aliases" as an additional feature if there're enough compelling use cases for them.