typescript - TypeScript の型推論 / 狭小化の課題

Question

現在、既存のコードの型を改善しようとしています。私のコードはおおよそ次のようになります。

/* dispatcher.ts */
interface Message {
    messageType: string;
}

class Dispatcher<M extends Message> {    
    on<
        MessageType extends M["messageType"],
        SubMessage extends M & { messageType: MessageType }
    >(
        messageType: MessageType,
        handler: (message: SubMessage) => void
    ): void { }
}

/* messages.ts */
interface AddCommentMessage {
    messageType: "ADD_COMMENT";
    commentId: number;
    comment: string;
    userId: number;
}

interface PostPictureMessage {
    messageType: "POST_PICTURE";
    pictureId: number;
    userId: number;
}

type AppMessage = AddCommentMessage | PostPictureMessage;

/* app.ts */
const dispatcher = new Dispatcher<AppMessage>();

dispatcher.on("ADD_COMMENT", (message: AddCommentMessage ) => {
                                    /* ^^ REMOVE THIS TYPE HINT!*/
    console.log(message.comment);
});

メッセージ ハンドラー (where is) に渡されるメッセージの型を明示的に絞り込む必要をなくしたいと思います。/*REMOVE THIS TYPE HINT!*/これにより、一致する型を持つ型に正しく絞り込まれますmessageType(たとえば、 if messageTypeis "ADD_COMMENT"then messagebe AddCommentMessage)。

これが現在不可能な場合は、お知らせください。そうではないという印象を受けましたが、よくわかりません。