<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="im">
<br>
</div>Wouldn't it make more sense to have fromInteger be `repeat .<br>
fromInteger`? This would make it an instance for ZipList, not list.<br>
You could even give a general instance for applicatives:<br></blockquote><div><br></div><div>Very neat. I had tried using the standard Applicative  instance for lists, as I wasn't aware of the ZipList newtype. Very useful.<br>
<br></div><div>On the question of whether any of this is a good idea, I found this discussion that mostly dismissed it based on the handling of literals (which if I understand it, is the source of my original question):<br>
<br><a href="http://www.haskell.org/pipermail/libraries/2012-October/018663.html">http://www.haskell.org/pipermail/libraries/2012-October/018663.html</a><br><br></div><div>At the end Conal Elliot points to the applicative-numbers package that has a nearly verbatim implementation of Num (f a). <br>
</div><div><br></div><div>-M<br></div><div><br></div></div></div></div>