Alex Ferguson <[EMAIL PROTECTED]> wrote on 10 Jul 1998
>...
> instance (Set s n, Num (s n), POrd (s n)) => Num [s n] where
> n + m
> = bigunion [ overlaps [n1 + m1 | m1 <- m] | n1 <- n]
> ...
> ... It seems to me that the nature of the MPC forces me to use
> non-variable contexts, which I think looks a bit uglky, but I don't
> know of another way to get the same effect.
Concerning the above contexts in general, i agree.
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 ...
?
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
