Actually, I was thinking of covariant arrays. The compiler should prevent issues at compile time for generic collections, same as Haskell.