It's a sum type, which is not quite the same thing.