Fundep question

[Gabor Greif]

Hi all,

say I want to instantiate

    class Dep (a :: k) b | a -> b

as

    instance Dep x y => Dep (Just x) (Maybe y)

Is this supposed to work? I get "The coverage condition fails" errors.

For simple cases like

    instance Dep True Bool

etc. it seems to work fine.

Thanks and cheers,

    Gabor