map f m = maybe Nothing (Just . f) m ?