Strange little bit of code: <a href="http://moonpatio.com:8080/fastcgi/hpaste.fcgi/view?id=829#a829">http://moonpatio.com:8080/fastcgi/hpaste.fcgi/view?id=829#a829</a><br><br>If I do any of the following, all of which seem natural to me, it fails to typecheck:<br>
<ol><li>move f out of the &#39;where&#39; clause (with or without a type signature)</li><li>put the same type signature on f as is on (/\)</li><li>replace f with (/\) completely</li></ol>What&#39;s going on here?<br>