 
 (defn first-traversal-law [{:keys [gen trav]}]
   (prop/for-all [s gen]
-    (coll? (l/foci trav s))))
+    (coll? (tv/foci trav s))))
 
 ;; it
 
 (def it-traversal
   {:gen gen/any
-   :trav l/it})
+   :trav tv/it})
 
 (defspec it-first-traversal-law 10
   (first-traversal-law it-traversal))


(def filter-traversal
  {:gen gen/any
   :trav (l/filter identity)})

(defspec filter-first-traversal-law 10
  (first-traversal-law filter-traversal))


(def nothing-traversal
  {:gen gen/any
   :trav tv/nothing})

(defspec nothing-first-traversal-law 10
  (first-traversal-law nothing-traversal))
