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

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