[Haskell-cafe] Harder than you'd think

[Peter Robinson]

On 13 June 2010 15:23, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
> Felipe Lessa wrote:
>>
>> On Sun, Jun 13, 2010 at 01:09:24PM +0100, Andrew Coppin wrote:
>>
>>>
>>> Does anybody have a less-insane way of doing this?
>>>
>>
>> Did you take a look at happstack-ixset[1]?
>>
>
> No. I'll take a look at it.
>
> (From the looks of it, it seems to be using TH and/or run-time checks to get
> around the type-system problems...)

A while ago I've written a simple version of ixset that uses type
classes (without TH) as a proof of concept:
http://darcs.monoid.at/tbox/Data/Index.hs

  Peter