Question about None

[Paul Rubin]

Andre Engels <andreengels at gmail.com> writes:
> I was making a point that I don't agree that "nothing" would match any
> type. The reason was that anything of the type car is one car, not two
> cars or zero cars, but "nothing" is zero cars. You don't agree with
> me, so apparently you are of the opinion that "nothing" would be a car.

I don't agree that "nothing" is "zero cars".  Just like I don't agree
that the empty set, the empty list, and the empty string are the same
thing.