Covariant example