dhall-1.19.0: tests/typecheck/success/simple/kindParameterA.dhall

λ(k : Kind) → λ(a : k → k → Type) → λ(x : k) → a x