λ(T : Type)
→ λ(f : ∀(list : Type) → (T → list → list) → list → list)
→ List/build T f