On Tue, Nov 30, 2010 at 4:05 PM, David Menendez <span dir="ltr">&lt;<a href="mailto:dave@zednenem.com">dave@zednenem.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Tue, Nov 30, 2010 at 5:31 AM, John Lato &lt;<a href="mailto:jwlato@gmail.com">jwlato@gmail.com</a>&gt; wrote:<br>
&gt;&gt; From: David Menendez &lt;<a href="mailto:dave@zednenem.com">dave@zednenem.com</a>&gt;<br>
&gt;&gt;<br>
</div><div class="im">&gt;&gt; Is Pointed useful at all? The last time this discussion came up, I<br>
&gt;&gt; asked for algorithms which were generic over pointed functors (in the<br>
&gt;&gt; same way that traverse is generic over applicative functors) and no<br>
&gt;&gt; one could think of any.<br>
&gt;<br>
&gt; It&#39;s useful for &#39;singleton&#39; on probabilistic data structures (e.g. a Bloom<br>
&gt; filter).<br>
<br>
</div>Again, I&#39;m asking for clients, not implementations. Are there any<br>
useful, non-trivial functions which are parameterized by arbitrary<br>
Pointed functors?<br></blockquote><div><br></div><div>I consider &quot;singleton&quot; itself to be a client, albeit somewhat trivial.  But as a result of the last discussion, I&#39;m no longer sure that &quot;singleton&quot; is a proper use of &quot;pointed&quot; and I shouldn&#39;t have brought it up now.  I&#39;m still in favor of splitting Applicative for philosophical reasons though.</div>
<div><br></div><div>In any case there&#39;s the function posted by Ross Patterson, which seems to fit all your criteria.</div><div><br></div><div>John</div></div>