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

Louis Wasserman wasserman.louis at gmail.com
Mon Feb 16 12:36:57 EST 2009


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 at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090216/6a34db21/attachment.htm


More information about the Haskell-Cafe mailing list