dhall-1.26.1: dhall-lang/tests/type-inference/success/accessTypeA.dhall

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