Lemma of the day

There exists a countable ring R and a projective module M which is a direct sum of countably many locally free rank 1 modules such that M is not locally free. See Tag 05WL.