The type-union syntax gets messy once the subclasses contain nontrivial amounts of code (like method definitions). The class syntax keeps the lexical context more local.