3 import qualified Data.Map as DM
6 Start w = startEngine t w
8 t = withShared ["somedata"] \l->
9 forever (chooseAction [((Action "Empty"), ())] >>- \_->set [] l)
10 //-&&- updateSharedInformation [UpdateAs 11
11 -&&- viewSharedInformation "View" [] l