Allowing Instances to Unify Types

[Simon Peyton-Jones]

| Knowing that, I'd like to be able to resolve (Show a, Monad m) as
| (Show [Char], Monad IO).  Put more simply, I'd like the applyInst
| expression to typecheck as the apply expression does.  Reading through
| the OutsideIn paper over the weekend, I began to understand why it
| isn't so simple.  I'm looking forward to furthering my understanding,
| and continuing my experiments with the new typechecker.

OK.  I'll keep the list posted about the new typechecker.

Simon