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

[Stefan Monnier]

> instance CpsForm t t where

This can't be right, can it?
After CPS conversion a term of type "a -> b" won't have type "a -> b"
but rather something like "a * (b -> c) -> c".


        Stefan