 
 (def indexed-traversal
   {:gen (gen/vector gen/any)
-   :trav l/indexed})
+   :trav tv/indexed})
 
 (defspec indexed-first-traversal-law 10
   (first-traversal-law indexed-traversal))


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

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


(def both-traversal
  {:gen (gen/vector gen/int)
   :trav (tv/both (filter odd?) (filter #(< % 5)))})

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