<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jun 29, 2015 at 2:56 AM, Fumiaki Kinoshita <span dir="ltr"><<a href="mailto:fumiexcel@gmail.com" target="_blank">fumiexcel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>I found some missing instances in the base package. The instances below are almost unique by parametricity.</div><div><br></div><div>Data.Complex:</div><div>  instance Functor Complex</div><div>  instance Applicative Complex</div><div>  instance Foldable Complex -- real first</div><div>  instance Traversable Complex<br></div><div></div></div></blockquote><div><br></div><div>I've had to have orphans for these in order to make <font face="monospace, monospace">linear</font> work for years now. No objection to adding them. They were blocked before by the <font face="monospace, monospace">RealFloat a =></font> data type context.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Data.Functor.Identity:</div><div>  instance Monoid a => Monoid (Identity a)</div><div><br></div><div><div>Control.Applicative:</div>  instance Foldable ZipList<div>  instance Traversable ZipList</div></div><div><br></div><div>I'm going to write a patch if there is no issue with them.</div><div><br></div><div>Also, I wonder if () could be Storable:<br></div><div><br></div><div><div>instance Storable () where</div><div>  sizeOf _ = 0</div><div>  alignment _ = 1</div><div>  peek _ = return ()</div><div>  poke _ _ = return ()</div></div></div></blockquote><div><br></div><div>No objection from me to any of them; a very strong +1.</div><div><br></div></div></div></div>