Generalizing some type signatures involving Int

Vanessa McHale vanessa.mchale at
Wed Nov 14 01:18:58 UTC 2018

Would it be possible to generalize replicate and length to have type

replicate :: Integral a => a -> b -> [b]


length :: (Integral a, Foldable t) => t b -> a


There have been a few instances where such a thing would have been
useful to me.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <>

More information about the Libraries mailing list