Type Alias Adapted<T, M>

Adapted: T & { [K in keyof M]: T[M[K]] }

Tipo de una instancia adaptada: la original más un alias por cada entrada del mapeo, con la firma del método original.