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

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