I think we can use the `SpecializedString` here too.