(NotProgressStart m) -> notification m
(NotProgressReport m) -> notification m
(NotProgressDone m) -> notification m
- (NotProgressCancel m) -> notification m
(NotTelemetry m) -> notification m
(NotCancelRequestFromServer m) -> notification m
(NotDidSaveTextDocument m) -> notification m
(NotDidChangeWatchedFiles m) -> notification m
(NotDidChangeWorkspaceFolders m) -> notification m
+ (NotProgressCancel m) -> notification m
(UnknownFromClientMessage m) -> error $ "Unknown message sent from client: " ++ show m