Data.Functor.Classes: fix Ord1 instance for Down
As detailed in #17472 (closed), the Ord1
instance for Down
is incorrect. This MR fixes that and adds a test case with the expected behaviour.
As detailed in #17472 (closed), the Ord1
instance for Down
is incorrect. This MR fixes that and adds a test case with the expected behaviour.