Correct behaviour of Bounded (Down a)

David Beacham mail at
Fri Sep 18 11:44:16 UTC 2020

Hi all,

The current instance for `Bounded a => Bounded (Down a)` derives the
`minBound` and `maxBound` exactly as they are for the underlying type `a`
where I think they should be flipped to respect the flipped ordering of
`Down a`?

I have a feeling this has been come up in some other context/list before
but I couldn't find a reference to it when searching - so sorry if this is
a duplicate.

I've got a corresponding MR here:

Thanks, David.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list