 
 (def vals-traversal
   {:gen (gen/map gen/keyword gen/any)
-   :trav l/vals})
+   :trav tv/vals})
 
 (defspec vals-first-traversal-law 10
   (first-traversal-law vals-traversal))


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

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

(t/deftest foci-atom
  (t/testing "Reflects an atoms focused values"
    (let [source (atom [0 1 2 3 4 5])
          fsource (tv/foci-atom (tv/only odd?) source)]
      (t/is (= @fsource [1 3 5]))

      (swap! source #(subvec % 2))
