<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><br clear="all">Louis Wasserman<br><a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a><br><br><br></div>
<div class="gmail_quote">2009/9/9 José Pedro Magalhães <span dir="ltr"><<a href="mailto:jpm@cs.uu.nl">jpm@cs.uu.nl</a>></span><br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">Hello Louis,<br><br>
<div class="gmail_quote">
<div class="im">On Tue, Sep 8, 2009 at 19:06, Louis Wasserman <span dir="ltr"><<a href="mailto:wasserman.louis@gmail.com" target="_blank">wasserman.louis@gmail.com</a>></span> wrote:<br>
<blockquote style="BORDER-LEFT: rgb(204,204,204) 1px solid; MARGIN: 0pt 0pt 0pt 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote">Sean,<br><br>The answer is, I'm working on a recently semi-released package called TrieMap.<br>
</blockquote></div>
<div><br>Is that similar to what is done in [1]? A draft paper [2] also refers that implementation.<br><br><br>Cheers,<br>Pedro<br><br>[1] <a href="http://www.haskell.org/haskellwiki/GHC/Indexed_types#An_associated_data_type_example" target="_blank">http://www.haskell.org/haskellwiki/GHC/Indexed_types#An_associated_data_type_example</a><br>
[2] <a href="http://www.cse.unsw.edu.au/~chak/project/generics/" target="_blank">http://www.cse.unsw.edu.au/~chak/project/generics/</a><br></div></div><br></blockquote></div><br>