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

[wren ng thornton]

Achim Schneider wrote:
> wren ng thornton <wren at freegeek.org> 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