[Haskell-cafe] impossible to write type signature

[jeff p]

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