1      let Foldable = ./Type
 2  
 3  in  let Monoid = ./../Monoid/Type
 4  
 5  in    λ(m : Type)
 6      → λ(monoid : Monoid m)
 7      → λ(t : Type → Type)
 8      → λ(foldable : Foldable t)
 9      → λ(a : Type)
10      → λ(f : a → m)
11      → λ(ts : t a)
12      → foldable.fold a ts m (λ(x : a) → λ(y : m) → monoid.op (f x) y) monoid.unit