Summary of containers patches

[Simon Peyton-Jones]

| 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