Type aliases as they are designed in 1.1 are sort ...
# eap
d
Type aliases as they are designed in 1.1 are sort a like macros on type projections.