Typescript ¿Es posible tipar solo el último (o N-ésimo) genérico?

Usualmente, para especificar el tipo de B necesitamos agregar también el tipo de A

function f<A,B>(cb: (a:A) => b:B):B {
  ...
}

f<string,number>()

¿Es posible especificar solo el tipo de B?

Sé que es posible realizar alguna inferencia a veces para tipos genéricos.

por ejemplo

f((a:number):string => ...)

devolvería la inferencia del tipo correcto.

pero quería hacer algo como

f<,string>

Sin ninguna inferencia

Esto se debe a que a veces la anidación estropea mucho los tipos, y se vuelve repetitivo especificar los tipos izquierdos todo el tiempo, por ejemplo, cuando se usan pipes de ramda o sanctuary.