I don't think I made any such clarification...
> typed nils are a single value which is both nil and non-nil at the same time.
I don't think I made any such clarification...