DeathlyHallows

```ts // 你的答案 type Concat = [...T,...U] ```

```ts // 你的答案 type Merge = { [K in keyof F | keyof S]:K extends keyof S ? S[K] : K extends keyof F ? F[K] : never } ```

```ts // 你的答案 type StringToUnion = T extends `${infer F}${infer R}` ? F | StringToUnion : never ```

```ts // 你的答案 type AppendToObject = { [K in U | keyof T] : K extends keyof T ? T[K] : V } ```

```ts // 你的答案 type Flatten = T extends [...infer F,infer R] ? R extends unknown[] ? [...Flatten,...Flatten] : [...Flatten,R] : T ```

```ts // 你的答案 type AppendArgument any, A> = Fn extends (...args:infer Args) => infer R ? (...arg:[...Args,A]) => R : never ```

```ts // 你的答案 type Replace = From extends '' ? S : S extends `${infer F}${From}${infer R}` ? `${F}${To}${R}` : S ```

```ts // 你的答案 type MyCapitalize = S extends `${infer F}${infer R}` ? `${Uppercase}${R}` : S ```

```ts // 你的答案 type E = ' ' | '\n' | '\t' // type TrimL = S extends `${E}${infer R}` ? TrimL : S // type TrimR = S extends...

```ts // 你的答案 type E = ' ' | '\n' | '\t' type TrimLeft = S extends `${E}${infer R}` ? TrimLeft : S ```