Re: [Haskell-cafe] Typeable and Dynamic

On Mon, Nov 3, 2008 at 7:55 PM, minh thu wrote:

Well, it seems you can't really write

(fromJust . fromDynamic) someDynamic

without giving the type of what you expect.

Well not by itself. But context will usually determine the type. For example: putStrLn . fromJust . fromDynamic $ someDynamic Will happily infer that it should cast to a String. Luke