Strange behaviour in implicit parameters

[Simon Peyton-Jones]

| | [This bug report may be related to SimonPJ's question about
| | implicit parameters and the monomorphism restriction - I'm 
| not sure.]

OK, after fixing two serious problems and several other error-message
improvement one, I claim that all the implicit parameter bugs are fixed 
in the HEAD.

Give it a whirl.  The serious ones will be in the upcoming patch release

Simon