node(head($s),
       promise { filter($f, tail($s)) });