7600f89f0b
Array instatiation code should handle type alias constructors properly. So far, we don't have constructors with type parameters different from the type parameters of the resulting type, so we can safely take type arguments of the underlying type.