Hello Maurício, Monday, November 17, 2008, 9:38:06 PM, you wrote:
>> (...) One way to code this would be to use functional dependencies: >> >> class MyClass r s | r -> s where function :: r -> s > One additional problem is that I (believe I) need that my class takes > just one type FDs with just one type parameter are called ATs :) (FDs = functional dependencies, ATs is a new feature of ghc 6.8/6.10) -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe