Correct behaviour of Bounded (Down a)

[David Beacham]

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:
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4081

Thanks, David.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200918/2bcbe1f1/attachment.html>