mainProc :: (DSL repr) => repr ()
mainProc = exec $ do r <- newRSing
                     r |> master
mainProc :: (DSL repr) => repr ()
mainProc = exec $ do r <- newRSing
                     r |> master
mainProc = exec $ do r <- newRSing
                     r |> master