Re: [Haskell-cafe] ANNOUNCE: pqueue-mtl, stateful-mtl

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.louis@gmail.com