Hi, I have resumed my problem to the following.

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.

class SomeClass a b | a -> b

instance SomeClass Int Bool

test :: SomeClass a b => a -> b

test 1 = True

Cheers,

hugo