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

[Greg Buchholz]

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