The current 'one or none' definition breaks the order of elements. It is more Ord-friendly to define it as 'none or one'. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190901/e925bcdd/attachment.html>