Library folk: does anyone consider themselves responsible for Data.Dynamic and Data.Typeable? It would help if someone would volunteer... John: This looks fine: dynTypeRep :: Dynamic -> TypeRep we'll add it. but typeRepIndex :: TypeRep -> IO Int looks stranger. It breaks the TypeRep abstraction. Would you care to argue for it? Simon | -----Original Message----- | From: libraries-bounces@haskell.org [mailto:libraries-bounces@haskell.org] On Behalf Of John | Meacham | Sent: 04 March 2005 07:25 | To: libraries@haskell.org | Subject: Re: Data.Dynamic | | Actually, could this patch be applied? | it also provides a routine to get the index of a typerep for efficient | hashing. It is in the IO monad because the index may change between | runs. | John | | | -- | John Meacham - ⑆repetae.net⑆john⑈