ArrayType does not need knowledge of SuperType (because arrays are non-covariant).