14 Nov
2018
14 Nov
'18
9:34 a.m.
:+1: from me. ________________________________ From: Libraries <libraries-bounces@haskell.org> on behalf of Vanessa McHale <vanessa.mchale@iohk.io> 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