RE: Instance contexts.

[Mark P Jones]

| Fergus Henderson writes of:
| > the monomorphism restriction (which exists for a similar reason,
| > to ensure termination of type inference).
| 
| Is this true?  The rationale normally given for it by its advocates
| (boo, hiss) seems invariably the "no re-evaluation of CAFs" mantra.

Yes, I think the second explanation is the right one.  The monomorphism
restriction doesn't have any effect on termination.

Mark