> Maybe implements the Functor type class (as an exercise, you can try to > figure out the implementation), therefore you can simply use fmap, which > in the case of Maybe, has type (a -> b) -> Maybe a -> Maybe b Thanks I reallized this after sending the email thanks Frederic