{-# htermination mapM_ :: Monad m => (a -> m b) -> [a] -> m () #-}