Lenses for Tagged STypeReps