Make Ord SelectView explicit

Author: amesgen

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Protocol/Abstract.hs

@@ -27,6 +27,7 @@ module Ouroboros.Consensus.Protocol.Abstract
   ) where
 
 import Control.Monad.Except
+import Data.Function (on)
 import Data.Kind (Type)
 import Data.Proxy (Proxy)
 import Data.Typeable (Typeable)
@@ -279,7 +280,12 @@ deriving stock instance Eq (TiebreakerView p) => Eq (SelectView p)
 instance NoThunks (TiebreakerView p) => NoThunks (SelectView p)
 
 -- | First compare block numbers, then compare the 'TiebreakerView'.
-deriving stock instance Ord (TiebreakerView p) => Ord (SelectView p)
+instance Ord (TiebreakerView p) => Ord (SelectView p) where
+  compare =
+    mconcat
+      [ compare `on` svBlockNo
+      , compare `on` svTiebreakerView
+      ]
 
 -- | @cand@ is preferred to @ours@ if either @cand@ is longer than @ours@, or
 -- @cand@ and @ours@ are of equal length and we have