λ(record : { x : Type, y : Type → Type }) → record.x