Filtered colimits in the effective topos

It is shown that the “constant sheaves” functor ∇:Sets→Eff does not preserve ω1-filtered colimits, and that as a consequence of this, the full subcategory of Eff on the countable projective objects is not dense.