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