What Is Covariant Type