| I think | | data Dynamic where | Dynamic :: a -> TypeRep -> Dynamic | | would be better, as it would cache the TypeRep for fast equality, while | the 'Typeable' version would perhaps have to go through a dictionary | lookup to get at it.
But the dictionary would presumably contain a cached version, since the result is independent of the argument. So I doubt this is a big issue in practice. Simon _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
