[Haskell-cafe] Re: impossible to write type signature