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