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.