{-# htermination replicateM_ :: Int -> [] a -> [] () #-}
import Monad