typescript - ¿Hay alguna forma de compilar tipos usando genéricos?

Estoy creando un módulo únicamente de definiciones de tipos (solo archivos *.d.ts) para una API. Estoy usando algunos genéricos complejos para acortar el código fuente y evitar errores. Los tipos son tan complicados que están tardando en cargarse (por ejemplo: vscode mostrando el tipo al pasar el cursor) e incluso están confundiendo a TypeScript (los tipos se están compilando incorrectamente).

¿Hay alguna manera de compilar los tipos usando genéricos de antemano?

Por ejemplo, teniendo esto...

// index.ts
type A = 'hello'
type B<A extends string> = `${A} world!`
type C = B<A>

... compilar a esto.

/// index.d.ts
type A = 'hello'
type B<A extends string> = `${A} world!`
type C = 'hello world!'