Typescript: Check every element in a property of type list in defining a type

Question

I want to make the intersection type of the properties of two types below.

What I meant by intersection is not Typescript\'s &, but the inte