1      let Traversable = ./Type
2  
3  in    λ(f : Type → Type)
4      → λ(t : Traversable f)
5      → t.{ fold } : ./../Foldable/Type f