[Haskell-cafe] Re: [darcs-devel] advice on GADT type witnesses needed