1 Sep
2019
1 Sep
'19
5:27 a.m.
The current 'one or none' definition breaks the order of elements. It is more Ord-friendly to define it as 'none or one'.