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