:: Int -> IO a -> IO [a] package:control-monad-free

replicateM n act performs the action n times, gathering the results.