Hi,<div><br><div class="gmail_quote">On 6 September 2012 18:49, Thomas DuBuisson <span dir="ltr">&lt;<a href="mailto:thomas.dubuisson@gmail.com" target="_blank">thomas.dubuisson@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">&gt; I don&#39;t remember if this was part of the motivation in creating this<br>
&gt; feature, but it has a nice use case:  asserting on a test suite that<br>
&gt; something should *not* type check.<br>
<br>
</div>We&#39;re getting more meta than Haskell provides cleanly, but all<br>
significant uses I can currently think of for something like that<br>
would require universal quantification over types:</blockquote></div><div><br></div>One way could be:</div><div><br></div><div>import Control.Spoon</div><div><br></div><div>f = 1 + &#39;a&#39;</div><div><br></div><div>test = assertTrue (teaspoon f == Nothing)<br>

<br clear="all"><div><br></div>-- <br>Ozgur Akgun<br>
</div>