Hello Louis,<br><br><div class="gmail_quote">On Tue, Sep 8, 2009 at 19:06, Louis Wasserman <span dir="ltr">&lt;<a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

Sean,<br><br>The answer is, I&#39;m working on a recently semi-released package called TrieMap.<br></blockquote><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">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/">http://www.cse.unsw.edu.au/~chak/project/generics/</a><br>

</div></div><br>