Type Alias MessagesList<T>

MessagesList: {
    [K in keyof T]: T[K] extends MessageCodecs<infer Req, infer Res>
        ? MessageCodecs<Req, Res>
        : never
}

A one-way definition of the protocol, containing only request & response codecs for supported messages.