If I understand correctly, &#39;foo, of type Name, is a constant value in any given context. And yet it doesn&#39;t appear to be allowed in patterns, thus leading to awkwardly explicit use of variables and equality guards in otherwise pattern-matching code. Are there reasons not to allow &#39;foo in patterns?<br>

<br>-- Conal<br>