nf PState ()
stop = do
    readerTid <- gets sReaderTid
    writerTid <- gets sWriterTid
    liftIO $ killThread readerTid
    liftIO $ killThread writerTid


helpMessage :: S
stop :: Process PConf PState ()
stop = do
    readerTid <- gets sReaderTid
    writerTid <- gets sWriterTid
    liftIO $ killThread readerTid
    liftIO $ killThread writerTid
stop = do
    readerTid <- gets sReaderTid
    writerTid <- gets sWriterTid
    liftIO $ killThread readerTid
    liftIO $ killThread writerTid