This probably belongs in `Data.String`.