replicate `n x` is a list of length `n` with
`x` the value of every element. It is an instance of the more
general genericReplicate, in which `n` may be of any
integral type.

>>> replicate 0 True [] >>> replicate (-1) True [] >>> replicate 4 True [True,True,True,True]

>>> import Control.Monad.State >>> runState (replicateM 3 $ state $ \s -> (s, s + 1)) 1 ([1,2,3],4)

**Packages**- is:exact