On Tue, Apr 30, 2013 at 11:35:10PM -0400, Edward Kmett wrote:
>
> I have dozens of classes of forms like
>
> class Wrapped s t a b | a -> s, b -> t, a t -> s, b s -> t
Isn't this equivalent to just
class Wrapped s t a b | a -> s, b -> t
?
Thanks
Ian