> @[] and "" don't have to actually differ from nil, it could be an 
> implementation detail. Pretty much like option[ref T not nil] can be 
> implemented as ref T.

Yep. And that's how it will be done. 

Reply via email to