added Odersky's opinion on generic arrays