<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Exchange Server">
<!-- converted from text --><style><!-- .EmailQuote { margin-left: 1pt; padding-left: 4pt; border-left: #800000 2px solid; } --></style>
</head>
<body>
<style>
<!--
@font-face
{font-family:"Cambria Math"}
@font-face
{font-family:"Yu Gothic"}
@font-face
{font-family:Calibri}
@font-face
{}
p.x_MsoNormal, li.x_MsoNormal, div.x_MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif}
a:x_link, span.x_MsoHyperlink
{color:blue;
text-decoration:underline}
a:x_visited, span.x_MsoHyperlinkFollowed
{color:#954F72;
text-decoration:underline}
.x_MsoChpDefault
{}
@page WordSection1
{margin:70.85pt 3.0cm 70.85pt 3.0cm}
div.x_WordSection1
{}
-->
</style>
<div lang="EN-GB" link="blue" vlink="#954F72">
<div class="x_WordSection1">
<p class="x_MsoNormal">:+1: from me.</p>
<p class="x_MsoNormal"> </p>
</div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Libraries <libraries-bounces@haskell.org> on behalf of Vanessa McHale <vanessa.mchale@iohk.io><br>
<b>Sent:</b> Wednesday, November 14, 2018 1:18:58 AM<br>
<b>To:</b> Haskell Libraries<br>
<b>Subject:</b> Generalizing some type signatures involving Int</font>
<div> </div>
</div>
</div>
<font size="2"><span style="font-size:11pt;">
<div class="PlainText">Would it be possible to generalize replicate and length to have type<br>
signatures<br>
<br>
replicate :: Integral a => a -> b -> [b]<br>
<br>
and<br>
<br>
length :: (Integral a, Foldable t) => t b -> a<br>
<br>
?<br>
<br>
There have been a few instances where such a thing would have been<br>
useful to me.<br>
<br>
Cheers<br>
<br>
<br>
</div>
</span></font>
</body>
</html>