More exactly, type aliases are macros on type proj...

# language-proposals

[dmitry.petrov]

More exactly, type aliases are macros on type projections.
That is, if

typealias M<T> = Map<T, T>

then M<*> is Map<*, *>,
M<out Int> is M<out Int, out Int>,
and so on.