λ(k : Kind)
→ λ(makeRecord : ∀(x : Type) → ∀(y : Type → Type) → k)
→ makeRecord Text List