<p>It should be pretty easy to write an adapter function of type "String -> (Show a => a)".</p>
<div class="gmail_quote">On Aug 11, 2012 12:34 PM, "Patrick Palka" <<a href="mailto:patrick@parcs.ath.cx">patrick@parcs.ath.cx</a>> 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"><<a href="mailto:oleg@okmij.org" target="_blank">oleg@okmij.org</a>></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'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's not all you can do: you can also pass the first argument of MkFoo to a function that expects a Show a => a argument, like the function 'print'. 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>