How to use template literal types for a strongly-typed “get property path” function

Question

I\'m playing around with template literal types trying to wrap my head around them, and I can\'t quite figure out what I\'d hoped would be a simple exercise: a strongly-type