dhall-1.42.3: dhall-lang/tests/type-inference/success/accessTypeB.dhall

∀(record : { x : Type, y : Type → Type }) → Type