[Haskell-beginners] Maybe a -> Maybe b

Hello, I have this data Proxy = Proxy String And I want to write a function f :: Maybe Proxy -> Maybe String f ma = case ma of (Just (Proxy a)) -> Just a Nothing -> Nothing I was wondering if there is no simpler way to do this ? thanks Frederic