silly me, reinventing List.filter