- (NotProgressStart m) -> notification m
- (NotProgressReport m) -> notification m
- (NotProgressDone m) -> notification m
+ (NotWorkDoneProgressBegin m) -> notification m
+ (NotWorkDoneProgressReport m) -> notification m
+ (NotWorkDoneProgressEnd m) -> notification m