RE: Generalizing some type signatures involving Int

:+1: from me. ________________________________ From: Libraries on behalf of Vanessa McHale Sent: Wednesday, November 14, 2018 1:18:58 AM To: Haskell Libraries Subject: 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