Fundep question

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