Generalizing some type signatures involving Int

Would it be possible to generalize replicate and length to have type signatures replicate :: Integral a => a -> b -> [b] and length :: (Integral a, Foldable t) => t b -> a ? There have been a few instances where such a thing would have been useful to me. Cheers