infer {} (let mmap = \f m -> case m of { Nothing -> Nothing ; Just x -> Just (f x) }
          in ... )