[Haskell-cafe] Deconstructing types

[José Pedro Magalhães]

Hello Louis,

On Tue, Sep 8, 2009 at 19:06, Louis Wasserman <wasserman.louis at gmail.com>wrote:

> Sean,
>
> The answer is, I'm working on a recently semi-released package called
> TrieMap.
>

Is that similar to what is done in [1]? A draft paper [2] also refers that
implementation.


Cheers,
Pedro

[1]
http://www.haskell.org/haskellwiki/GHC/Indexed_types#An_associated_data_type_example
[2] http://www.cse.unsw.edu.au/~chak/project/generics/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090909/6c4e7fcb/attachment.html