(NotPublishDiagnostics m) -> notification m
(NotLogMessage m) -> notification m
(NotShowMessage m) -> notification m
(NotProgressStart m) -> notification m
(NotProgressReport m) -> notification m
(NotProgressDone m) -> notification m
(NotPublishDiagnostics m) -> notification m
(NotLogMessage m) -> notification m
(NotShowMessage m) -> notification m
(NotProgressStart m) -> notification m
(NotProgressReport m) -> notification m
(NotProgressDone m) -> notification m