Trim, 글 양쪽의 빈 문자열들을 제거한 타입

type TrimLeft<S extends string> = S extends ` ${infer Rest}` | `\n${infer Rest}` | `\t${infer Rest}` ? TrimLeft<Rest> : S;
type TrimRight<S extends string> = S extends `${infer Rest} ` | `${infer Rest}\n` | `${infer Rest}\t` ? TrimRight<Rest> : S;
type Trim<S extends string> = TrimRight<TrimLeft<S>>;

TrimLeft, Right를 구현한 후 이를 합성하는 것이 훨씬 더 쉽다.
처음에는 쓸 데 없는 욕심에 Trim을 extends로 쭉 나열했는데 가독성만 나빠졌다.