String is no longer a sequence + covariantly refine rest