Re: Associated types in 6.6?

Simon Peyton-Jones wrote:

The trick lies in coming up with a suitable typed intermediate representation for the program -- System F isn't enough.

Is that because GHC's TIL is not exactly System F?

As ever, we tend to work harder on things that folk appear to want;

Unrelated question: will "boxy" types allow forall-quantified types in instance declarations?

so anyone who is keen on associated types, do sing out and describe your application a bit.

If yes, I'll clean-up and send out some code showing what I think would be a good use. Jim