[Haskell-cafe] Re: Documenting the impossible