dhall-1.18.0: tests/typecheck/kindParameterB.dhall

∀(k : Kind) → (k → k → Type) → k → k → Type