1  
 2      let Applicative = ./../Applicative/Type
 3  
 4  in  let Traversable = ./../Traversable/Type
 5  
 6  in    λ(t : Type → Type)
 7      → λ(traversable : Traversable t)
 8      → λ(f : Type → Type)
 9      → λ(applicative : Applicative f)
10      → λ(a : Type)
11      → λ(ts : t (f a))
12      → traversable.traverse f applicative (f a) a (λ(x : f a) → x) ts