Question about None

[Paul Rubin]

Andre Engels <andreengels at gmail.com> writes:
> I don't see why that would be the case. Something of the type "thingy"
> is ONE thingy. Nothing is ZERO thingies, so it is not something of the
> type "thingy". A car is a single car. Nothing is zero cars, which is
> not a car, just like two cars is not a car.

That seems to confuse values with collections of them.  A car is not
the same as a one-element list of cars.  Nothing is not the same as a
zero-element list of cars.