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

wren ng thornton wren at freegeek.org
Sat Feb 21 03:17:28 EST 2009

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,

More information about the Haskell-Cafe mailing list