{-# htermination genericReplicate :: Int -> a -> [a] #-}
import List