Hello, I finally found the thread I was looking for: http://www.haskell.org/pipermail/haskell-cafe/2006-December/020481.html Sorry for the noise. -Jeff On 7/14/07, jeff p wrote:

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