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>