Achim Schneider wrote:
wren ng thornton <w...@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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe