Is there a proper example of type-safe navigation with nested graphs where one of the graphs includes a