Currently idl generated server parameters (the typed params) are generated and never bound with type information into the larger problem (they're exposed through the central registry, but after being type erased).

If instead they could be bound to named types, it would be possible to access them outside of their immediate TU, which would allow for patterns like registering listeners, optionally, from other contexts.