<div dir="ltr"><div>Hi all,</div><div><br></div><div>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`?</div><div><br></div><div>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.</div><div><br></div><div>I've got a corresponding MR here: <a href="https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4081">https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4081</a></div><div><br></div><div>Thanks, David.<br></div></div>