Trait Implementations on Type Aliases

Identify the limitations of implementing traits on aliases versus wrapper structs.