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