Typed Remote Router Debugging