Lenses are always non-empty