[Haskell] Re: Functional dependencies and type inference (2)

[Stefan Monnier]

>> > instance CpsForm t t where
>> This can't be right, can it?
> In general no: the CPS of a function certainly doesn't fit the above
> pattern. So, if the source language has abstractions (the language in
> the original message didn't), we have to add another instance for
> CpsForm.

But any other instance will cause problem because the second type won't be
functionally dependent on the first any more.  Or do you suggest we remove
the functional dependency?


        Stefan