Associated types in 6.6?

[Jim Apple]

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