dhall-1.18.0: tests/typecheck/kindParameterA.dhall

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