<div>Hi, I have resumed my problem to the following.</div><div><br class="webkit-block-placeholder"></div><div>In this small example, the type checker always complains, and do need to write something similar that would use the functional dependency to infere the type b.
</div><div><br class="webkit-block-placeholder"></div><div>class SomeClass a b | a -&gt; b</div><div><br class="webkit-block-placeholder"></div><div>instance SomeClass Int Bool</div><div><br class="webkit-block-placeholder">
</div><div>test :: SomeClass a b =&gt; a -&gt; b</div><div>test 1 = True</div><div><br class="webkit-block-placeholder"></div><div>Cheers,</div><div>hugo</div>