Как реализовать тип Trim, Replace и Split для строк?

TypeScript позволяет манипулировать строками на уровне типов через template literal types и рекурсию. Trim рекурсивно убирает пробелы по краям, Replace находит подстроку и заменяет её через infer, а Split рекурсивно разбивает строку по разделителю, собирая результат в кортеж. Всё это работает только с литеральными типами, не с string.