Re: type context

[Alex Ferguson]

Sergey Mechveliani writes:
> But question aside, on "MPC forces me to use non-variable contexts":
> its this necessary to represent a Set as a constructor class?  
> Why do not declare
>                class (Foo a,Foo' b) => Set a b  where ...
> ?

I'm not sure I follow.  Can you elaborate on how this would help?

Slainte,
Alex.