j
k
j a
j l
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
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
Back to the thread
Back to the list