[Haskell-cafe] Joy Combinators (Occurs check: infinite type)

[Daniel Fischer]

Keean wrote:
>
> Not saying it isn't tricky - but thats what the HList library
> (http://www.cwi.nl/~ralf/HList) implements, a heterogenous list.
> It works slightly differently using classes, but does abstract the
> workings enough to be useful, to construct an HList you can do:
>
> hlist = "a" .*. (3:Int) .*. False .*. 'v' .*. HNil
>
> And provides head/tail functions and other useful list and set
> operators.
>
>     Keean.

Phew, not bad, but not easy to absorb. 

Do you know whether the Joy Combinators would work with HList?
If I find the time, I'll try to see for myself tomorrow, but I'm not sure that 
I will.

Respectfully,
Daniel