<p>It should be pretty easy to write an adapter function of type &quot;String -&gt; (Show a =&gt; a)&quot;.</p>
<div class="gmail_quote">On Aug 11, 2012 12:34 PM, &quot;Patrick Palka&quot; &lt;<a href="mailto:patrick@parcs.ath.cx">patrick@parcs.ath.cx</a>&gt; wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Sat, Aug 11, 2012 at 4:14 AM,  <span dir="ltr">&lt;<a href="mailto:oleg@okmij.org" target="_blank">oleg@okmij.org</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">


<br>I&#39;d like to point out that the only operation we can do on the first<br>
argument of MkFoo is to show to it. This is all we can ever do:<br>
we have no idea of its type but we know we can show it and get a<br>
String.<br></blockquote><div><br></div><div>That&#39;s not all you can do: you can also pass the first argument of MkFoo to a function that expects a Show a =&gt; a argument, like the function &#39;print&#39;. Can you do that with just a String (that represents show x for some x)?</div>


</div>
<br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div>