{-# htermination replicateM :: Monad m => Int -> m a -> m [a] #-}
import Monad