dhall-1.42.3: tests/th/HigherKindSingle.dhall

\(a : Type -> Type) -> \(a : Type) -> { foo : a, bar : a@1 a, bam : Text }