Re: [Haskell-cafe] Re: A typeclass for Data.Map etc?

Achim Schneider wrote:

wren ng thornton wrote:

...

(b) allows instances to have a fixed type for keys (like Data.Trie and Data.IntMap have),

Can't we do some type magic to automagically select Data.Trie if the key is a (strict) bytestring?

Uh, sure. I was thinking more that some ancient proposals for a map interface required that the instance be polymorphic in the keys. Not all maps are polymorphic in the keys, ergo... -- Live well, ~wren