使用fmap或＆lt; $＆gt;从Monad中提取实数或默认值或者喜欢 - 怎么样？

Question

假设我有这个函数接受一个Maybe arg：

func1 :: Maybe Int -> Int
func1 mbArg = 
  let var1 = case myArg of
               Just x -> x
               Nothing -> -1
  -- ....

我想知道，除了使用mapM，mapM_或fmap或<$>或类似内容之外，还有其他办法可以做同样的事吗？也就是说，检查它是Just还是Nothing并提取实际值或分别返回默认值。

我的问题是关于可能作为Monad。