02070
Drop Char
type DropCharImplements<S extends string, C extends string, U extends string = ''> =
S['length'] extends 0 ? U :
S extends `${infer First}${infer Rest}` ? DropCharImplements<Rest, C, `${U}${First extends C ? '' : First}`> : U
type DropChar<S extends string, C extends string> = DropCharImplements<S,C>