Is there a way of exploiting functional dependencies in the following fashion?<br><br>class Foo a b | a -&gt; b where...<br><br>data Foo a b =&gt; Bar a = B a b<br><br>This is not ambiguous, because the functional dependency ensures a unique b if one exists.&nbsp; Can this be done without mentioning b as a type variable in Bar?<br>
<br clear="all">Louis Wasserman<br><a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a><br>
<br>