covariant array type