Correct behaviour of Bounded (Down a)

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.