cc {
      <b><span style='color:#000000;'>match</span></b> lst <b><span style='color:#000000;'>with</span></b>
      | <span style='color:#006e28;'>%h</span> :: <span style='color:#006e28;'>%t</span> -&gt; aux t (acc + h)
      | [] -&gt; acc
   };
   aux lst <span style='color:#b08000;'>0</span>
}; <i><span style='color:#898887;'>// Note we cannot omit `;' here, because `filter' may be interpreted as a term</span></i>

filter (\x <b><span style='color:#000000;'>.</span></b> x &gt; <span style='color:#b080