4 May
2020
4 May
'20
9:49 a.m.
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.