[Haskell-cafe] Re: Typeable and Dynamic