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

Keean Schupke wrote:

The things to notice are using types as instance labels, that constraints form horn clause compile time meta-programs (in a non-backtracking prolog style) and that multi-parameter classes with functional depandencies simulate some dependant types.

I think I understood everything in that sentance up to the word "as" ;-) Greg