<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Feb 20, 2017 at 3:42 AM, Andreas Abel <span dir="ltr"><<a href="mailto:abela@chalmers.se" target="_blank">abela@chalmers.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I am using `for`<br><br>
<a href="https://hackage.haskell.org/package/Agda-2.5.2/docs/Agda-Utils-Functor.html" rel="noreferrer" target="_blank">https://hackage.haskell.org/pa<wbr>ckage/Agda-2.5.2/docs/Agda-Uti<wbr>ls-Functor.html</a><br>
<br>
and I think taking `for` for Applicative was name theft.</blockquote><div> <br></div><div>This crime may no longer be charged under the statute of limitations. The federal code provides that no person can be tried or punished for any noncapital offense unless they are indicted or information is instituted within five years of the date the offense was committed.</div><div><br></div><div>Of course, that is here within the U.S. You might have better luck in the international court of public opinion. =)</div><div><br>-Edward</div></div></div></div>