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.
Edited by chessai
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.