Type Alias TFromTypes<Args, Types, Result>

TFromTypes<Args, Types, Result>: Types extends [infer Left extends TSchema, ...(infer Right extends TSchema[])]
? TFromTypes<Args, Right, [...Result, TFromType<Args, Left>]>
: Result