How can I fix the typings for this lens-like function?

Question

I\'m trying to type a series of lens-like functions (get, set, update, remove) The path parameter for these functions is an array where each item can be a key, an array of k