RE: Allowing Instances to Unify Types

| 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