The discrete objects in the effective topos