Type alias LiftedObject<T, K>

LiftedObject<T, K>: {
    [P in K]: T[P] extends OutputInstance<infer T1>
        ? Output<T1>
        : T[P] extends Promise<infer T2>
            ? Output<T2>
            : Output<T[P]>
}