Czy zawsze bardziej wydajne jest użycie withFilter zamiast filtra, gdy później stosuje się funkcje takie jak mapa, mapa płaska itp.? Dlaczego obsługiwane są tylko mapy, mapy płaskie i wszystkie? (Oczekiwane funkcje, takie jak forall / również istnieją)