[Haskell-cafe] confusion about 'instance'....

[Jules Bean]

Nicholls, Mark wrote:
>> Classes are groups of types. Sets of types. Classifications of types.
> 
> I had them down as an n-ary relation on types....someone's said
> something somewhere that's made me question that...but I think I
> misinterpreted them....so I may default back to n-ary relation.

Yes, and 1-ary relations are sets. And haskell98 only supports unary 
type classes, and all our discussion so far had been about unary type 
classes.

But, since you mention it, yes MPTCs are n-ary relations.

Jules