Ryan Newton wrote:
What I would next *like* to do is something like the following:
import qualified Data.IntMap as DI
instance FitInWord t = GMapKey t where
data GMap t v = GMapInt (DI.IntMap v) deriving Show
The problem is that there's already a more general instance of
GMaps -- families of map implementations indexed by the key type --
are an example on the wiki:
http://www.haskell.org/haskellwiki/GHC/Type_families
I've been using something like this myself. It sure would be nice to
have a fully developed version on Hackage, and I may try to submit
this