James, in case you haven't seen it, this is treated _extensively_ in the FAQ. Make a nice cup of tea and pull up a comfy chair before you start reading :-).
--Tim On Sunday, February 01, 2015 01:16:19 AM Jutho wrote: > 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.