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

               [clojure.test.check.generators :as gen :include-macros true]
               [clojure.test.check.properties :as prop :include-macros true]
               [cats.core :as m]
               [cats.labs.lens :as l])
     :clj
     (:require [clojure.test :as t]
               [clojure.test.check]


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

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