Why do indexed mapped types appear to behave the same for 0 depth tuples and for all depth objects, but not for > 0 depth tuples?

Question

I am trying to create a generic type that when parametrized with some object type, will form a new type allowing only any path that is present in the object type. I have ada