How to correctly define a type that is a merged intersection type of two other types?

Question

I was trying to follow this answer, but I don\'t want to use interfaces. There are several other answers on that page, but none are setup like mine.

I have the follow