<div dir="auto"><div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, 8 Feb 2019, 9:54 am Henning Thielemann, <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
With the signature of 'compare' we can hardly do it better. That's why it <br>
is certainly better to leave Ord for total orderings and define<br>
<br>
class PartialOrd a where<br>
    maybeCompare :: a -> a -> Maybe Ordering</blockquote></div></div><div dir="auto"><br></div><div dir="auto">Yes, precisely. For a moment I thought you were suggesting we should use Ord for partial orders.</div><div dir="auto"></div></div>