<div dir="ltr">Apologies! I should have read your email properly before responding!</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Mo., 4. Mai 2020 um 15:49 Uhr schrieb Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
On Mon, 4 May 2020, Simon Jakobi wrote:<br>
<br>
> base _does_ contain Ord instances for both Maybe and Either. So the <br>
> question of what the smallest (Maybe Int8) is, is settled: It's Nothing.<br>
<br>
I know and I think I indicated that. I'd prefer to remove instance Ord <br>
Maybe rather than extend instances to Bounded. Sure, instance Ord Maybe is <br>
settled and there is no alternate Ord for Set, so removal is currently not <br>
an option. However, not defining Bounded Maybe seems most sound to me.<br>
</blockquote></div>