[Haskell-cafe] Re: [Haskell] Re: Global Variables and IO initializers

(indexing with TypeRep)

This is yet another incidence where Robert Will's ByMaps would be very useful

In fact GHC at least *already* generates a unique integer for each TypeRep. A good idea, since it means comparisons can be done in unit time. Thus indexing can be done trivially using this integer as a hash function.