Add specialize pragma for find (#109)

* Depends on anoma/juvix#2899

Stdlib/Data/List/Base.juvix

@@ -18,6 +18,7 @@ elem {A} (eq : A → A → Bool) (s : A) : List A → Bool
 
 --- 𝒪(𝓃). Returns the leftmost element of the list satisfying the predicate or
 --- nothing if there's no such element.
+{-# specialize: [1] #-}
 find {A} (predicate : A → Bool) : List A → Maybe A
   | nil := nothing
   | (x :: xs) :=