7 Dec
2005
7 Dec
'05
4:05 a.m.
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