{-# htermination replicateM_ :: Monad m => Int -> m a -> m () #-}
import Monad