span></i>
<i><span style='color:#898887;'>   The effects are undefined if a placeholder gets duplicated by an</span></i>
<i><span style='color:#898887;'>   evaluation of a pattern.</span></i>

<i><span style='color:#898887;'>   Non-static patterns make e.g. the following valid.</span></i>
<i><span style='color:#898887;'>   */</span></i>

<b><span style='color:#000000;'>let</span></b> data = \x (<span style='color:#ff00ff;'>`data</span>, x);

<b><span style='color:#000000;'>let</span></b> get-datum = \d {
  