When inheritance is a concept unique to e and is specified by defining subtypes with when struct members. When inheritance provides the following advantages compared to like inheritance: -Ability to have explicit reference to the when fields-Ability to have multiple, orthogonal subtypes -Ability to extend the struct later