{ x : Type, y : Type, z : Type → Type }