+ w1 = withShared 0 \sds -> (watch sds @? trace_stdout) -&&- updateInformation () [] 0 -&&- updateSharedInformation () [] sds
+
+ w2 = withShared 0 \sds ->
+ updateSharedInformation () [] sds
+ -&&- (whileUnchanged sds (viewInformation () []) @? trace_stdout)
+
+ w3 = forever (viewInformation () [] 32) @? trace_stdout
+