Add demo of covariant array to show the purpose of generic