Agreed.  The min of a total order should be the min.  This seems to be a straight up bug. 

On Sat, May 9, 2020 at 5:34 PM David Feuer <david.feuer@gmail.com> wrote:

I'd call that a bug in the Down instance myself, and a serious one!

On Sat, May 9, 2020, 5:30 PM Joseph C. Sible <josephcsible@gmail.com> wrote:

On Mon, May 4, 2020 at 7:55 AM Simon Jakobi via Libraries
<libraries@haskell.org> wrote:
>
> Are there any instances where
>
> minBound <= x == True
>
> and
>
> maxBound >= x == True
>
> don't hold for every x?

Yes:

minBound <= Data.Ord.Down (1 :: Int) == False

IMO, this is kind of a wart in Down, as I commented at
https://gitlab.haskell.org/ghc/ghc/-/merge_requests/881#note_271111

Joseph C. Sible
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries