[ experim ] Preserve old right-to-left behaviour in case we don't know

src/Deriving/DepTyCheck/Gen/Core/ConsDerive.idr

@@ -74,7 +74,7 @@ searchOrder left = do
   let next = removeDeeply curr $ removeDeeply determined left
 
   -- `next` is smaller than `left` because `curr` must be not empty
-  curr ++ searchOrder (assert_smaller left next)
+  reverse curr ++ searchOrder (assert_smaller left next)
 
 [WithNames] {con : Con} -> Foldable f => Interpolation (f $ Fin con.args.length) where
   interpolate xs = joinBy ", " $ toList xs <&> \i => case name $ index' con.args i of