> 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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
