1      let Foldable = ./../Foldable/Type
 2  
 3  in  let Either = ./Type
 4  
 5  in    λ(a : Type)
 6      →   { fold =
 7                λ(b : Type)
 8              → λ(either : Either a b)
 9              → λ(c : Type)
10              → λ(f : b → c → c)
11              → λ(z : c)
12              → ./fold a b c (λ(l : a) → z) (λ(r : b) → f r z) either
13          }
14        : Foldable (Either a)