Allowing Instances to Unify Types

Simon Peyton-Jones simonpj at
Tue Jul 27 05:19:15 EDT 2010

| 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.


More information about the Glasgow-haskell-users mailing list