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