Update standard library list functions to use traits (#2382)

Co-authored-by: Paul Cadman <git@paulcadman.dev>

examples/demo/Demo.juvix

@@ -40,7 +40,7 @@ sort : {A : Type} → (A → A → Ordering) → List A → List A
   | _ xs@(_ :: nil) := xs
   | {A} cmp xs :=
     uncurry
-      (merge (mkOrd cmp))
+      (merge {{mkOrd cmp}})
       (both (sort cmp) (splitAt (div (length xs) 2) xs));
 
 printNatListLn : List Nat → IO

juvix-stdlib

@@ -1 +1 @@
-Subproject commit 4facf14d9b2d06b81ce1be1882aa9050f768cb45
+Subproject commit 2680b19844616821d4ce77a40e9f02fb2e6c1995

src/Juvix/Compiler/Internal/Translation/FromInternal/Analysis/TypeChecking/Traits/Resolver.hs

@@ -143,7 +143,7 @@ lookupInstance tab ty = do
     Just InstanceApp {..} ->
       lookupInstance' True tab _instanceAppHead _instanceAppArgs
     _ ->
-      throw (ErrNotATrait (NotATrait ty))
+      return []
 
 subsumingInstances ::
   forall r.