Questions regarding Bounded

[Henning Thielemann]

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.