<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div>The goal is similar, but I'm attempting to automatically infer the appropriate map type for any algebraic datatype -- and while I'm at it, the TrieMap package aims to include all the methods Data.Map offers.</div>
<div class="im">
<div></div></div></blockquote><div><br>Perhaps you want to read about the type-indexed tries in "Generic Haskell: Applications": <a href="http://www.cs.uu.nl/~johanj/publications/ghpractice.pdf">http://www.cs.uu.nl/~johanj/publications/ghpractice.pdf</a><br>
<br>Sean<br></div></div>