Complentary type to template literal type

Question

With Typescript 4.1+ it\'s possible to create template literal types. One possible application:

type StartsWith
 = `${P}${string}`;