Correct signature for withFilter