+makeShare :: String Int String -> Task MTaskShare
+makeShare withTask identifier value = treturn
+ {MTaskShare
+ |withTask=withTask
+ ,identifier=identifier
+ ,value=value
+ ,realShare=MTaskWithShare $ "mTaskSDS-" +++ toString identifier
+ } >>= \sh->set value (getSDSShare sh) >>| treturn sh