The current 'one or none' definition breaks the order of elements.

It is more Ord-friendly to define it as 'none or one'.