It is an error if a union type has a member with variety union and this member cannot be substituted with its own members. ...