promoteKind (FunTy arg res) = FunTy (promoteKind arg) (promoteKind res)
promoteKind (FunTy arg res) = FunTy (promoteKind arg) (promoteKind res)
promoteKind (FunTy arg res) = FunTy (promoteKind arg) (promoteKind res)