Is it time to start deprecating FunDeps?

Ian Lynagh ian at well-typed.com
Wed May 1 13:02:34 CEST 2013


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




More information about the Haskell-prime mailing list