>>> replicate 3 "jobs!" "jobs!jobs!jobs!"
>>> replicate 10000 "" ""
>>> replicate 0 "nothing" ""
length (replicate n t) == max 0 n * length t