<html>
<body>
<blockquote type=cite class=cite cite=""><font size=3>Hi<br><br>
&gt;&nbsp; The same should apply to head and tail. head or tail&nbsp; of
[] should be [].<br>
&gt;<br>
&gt;&nbsp; What does the list think?<br><br>
Disagree, strongly. Its not even possible for head, since [a] -&gt;
a.<br>
Wadler's theorems for free states that if head is given an empty
list<br>
the _only_ thing it can do is crash.<br>
</blockquote><br>
What's the logic behind this?<br><br>
Thanks, Paul<br>
</font></body>
</html>