{-# htermination mapM_ :: (a -> Maybe b) -> [a] -> Maybe () #-}