dhall-1.21.0: dhall-lang/tests/typecheck/success/accessEncodedTypeA.dhall

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