[Haskell-cafe] impossible to write type signature

Hello, I managed to write a function, which ghc accepts, for which ghc rejects it's own type signature. I remember seeing a thread about this sometime in the last year or so, but I can't seem to find it. Does anyone remember this thread? thanks, Jeff