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

  ∀ ( record
    : ∀(k : Kind) → ∀(makeRecord : ∀(x : Type) → ∀(y : Type → Type) → k) → k
    )
→ Type