<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Apr 10, 2014 at 10:45 AM, Kim-Ee Yeoh <span dir="ltr"><<a href="mailto:ky3@atamo.com" target="_blank">ky3@atamo.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">
<div class=""><br></div></div></div></div></blockquote><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">
<div class="gmail_extra"></div><div class="gmail_extra">And to recover the named binding:<br><br>    let whee = (\x -> x == x && null (show x)) :: Show a => Eq a => a => Bool</div></div></blockquote><div>
<br></div><div>Right, or even:</div><div>Prelude ë> :t let whee x = x == x && null (show x) in whee :: Show a => Eq a => a => Bool</div><div>let whee x = x == x && null (show x) in whee :: Show a => Eq a => a => Bool</div>
<div>  :: (Eq a, Show a) => a -> Bool</div><div><br></div><div>Which is what I think I meant to type initially but then confused myself and also misread the type error :)</div><div><br></div><div>Jason</div><div><br>
</div></div></div></div>