Fergus Henderson wrote: > > Maybe in Haskell 2. > > Yes, it would be nice to have a built-in, type-safe, version of Dynamic > in Haskell 2. It would also be nice if it were a little less abstract; e.g. either exposing the constructors for Dynamic and TypeRep or providing suitable accessors would be preferable to having to parse the result of "show". -- Glynn Clements <glynn.clements@virgin.net>