On Mon, 4 May 2020, Simon Jakobi wrote:

> base _does_ contain Ord instances for both Maybe and Either. So the
> question of what the smallest (Maybe Int8) is, is settled: It's Nothing.

I know and I think I indicated that. I'd prefer to remove instance Ord
Maybe rather than extend instances to Bounded. Sure, instance Ord Maybe is
settled and there is no alternate Ord for Set, so removal is currently not
an option. However, not defining Bounded Maybe seems most sound to me.