dhall-1.42.0: tests/th/HigherKindSingle.dhall

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