The manual section on Parametric Types says that
Julia’s type parameters are invariant
but the section on Tuple Types says
Tuple types are covariant in their parameters
I’m just curious about the reason behind this design choice. It seems a bit confusing to me as a Julia novice, but I’m sure somebody much more knowledgeable than I had a good reason to design it this way.