Yes, you're right! I guess that you would have to break the chain at some point with Any or similar, which doesn't feel quite satisfying. But maybe it's the best that you can do for now.
In your code, when you access fields that are not typed as strictly as you want, at least you can put in a type assertion on the value to allow the compiler to specialise on the correct type.
