title: withFilter instead of filter
body: <p>Is it always more performant to use withFilter instead of filter, when afterwards applying       functions like map, flatmap etc.?</p>
  
  <p>Why are only map, flatmap and foreach supported? (Expected functions like forall/exists as well)  </p>