²You can make that representation a Union type, however. See Section 2.5 on page 157 for examples of unions.