Allowing Instances to Unify Types
simonpj at microsoft.com
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