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