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

[George Russell]

(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.