Lazy type-class resolution

[Tomasz Zielonka]

On Fri, Aug 13, 2004 at 09:03:53AM +0100, Simon Peyton-Jones wrote:
> Yes, when *inferring* types GHC defers context reduction as long as
> possible.  Reason: the call site of the function may "see" more instance
> declarations (e.g. in particular, overlapping ones), so doing reduction
> later may yield a different answer.  

Thanks for explanation.

Besides overlapping instances, what are the other mechanisms that could
change the decision later? I can't think of any, are they only
hypotetical?

Best regards,
Tom

-- 
.signature: Too many levels of symbolic links