RE: Summary of containers patches

| My question is: are there any kind of functions, other than overloaded | functions, that would benefit from specialization. If the answer is | yes, can we apply the same heuristic you use for overloaded functions | to specialize these kind of functions. If we cannot automatically | detect all the cases where specializing would be beneficial, should we | allow the user to tell us when it might be beneficial? If you allow specialisation on *values* then yes. That's what SpecConstr does. If you are talking of specialisation on *types* then I think it's very limited (aside from overloading). By all means show me otherwise. Simon