Is there a way of exploiting functional dependencies in the following fashion?
class Foo a b | a -> b where... data Foo a b => Bar a = B a b This is not ambiguous, because the functional dependency ensures a unique b if one exists. Can this be done without mentioning b as a type variable in Bar? Louis Wasserman wasserman.lo...@gmail.com
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
