As long as not all parameters of a parametric concrete type are fully 
specified, the type is treated as abstract. So in both cases your collection 
would be of abstract elements and they would not be stored packed in memory. I 
don't think what you are requesting is possible, but I might be mistaken. If 
the elements of the collection are of a concrete type, then applying a function 
to them should always be the same function. If this were not the case, then 
type inference could not work.

Reply via email to