Thanks for the info; that&#39;s good to know. The ICFP &#39;01 version uses pairs; not sure when the other came out or where. <br><br><div class="gmail_quote">On Wed, Aug 24, 2011 at 4:46 PM, wren ng thornton <span dir="ltr">&lt;<a href="mailto:wren@freegeek.org">wren@freegeek.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div><div></div><div class="h5">On 8/24/11 5:03 PM, Armando Blancas wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I didn&#39;t see that claim in the linked slides, and it&#39;s not Haskell &#39;98<br>
</blockquote>
(nor Haskell 2010).<br>
</blockquote>
<br>
I didn&#39;t realize it linked to the slides; I thought that pointed to the<br>
article. I just found another version of the paper, A Simple Implementation<br>
Technique for Priority Search Queues, by Hinze, which shows the binding type<br>
as a pair, with access functions for k and p. I&#39;ll continue to work my way<br>
through the material there. Thanks for you response.<br>
</blockquote>
<br></div></div>
With -XTypeOperators you can define<br>
<br>
    data a :-&gt; b = a :-&gt; b<br>
<br>
where (:-&gt;) is both a type constructor and a data constructor. Note the leading colon which is the only &quot;capital&quot; punctuation letter. Hinze may have just chosen to elide the colon for prettiness.<br><font color="#888888">
<br>
-- <br>
Live well,<br>
~wren<br>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</font></blockquote></div><br>