teakR :: Chan -> MkPNMonad SimFlow SimValue ()
    teakR (_, (outR, _outA)) = withLabel "R" $ do
        initPlace <- withLabel "init" $ newBlackPlace [token]
        withLabel "or" $ newTrans [initPlace] [outR] [PNLiteral token]
        return ()
teakR :: Chan -> MkPNMonad SimFlow SimValue ()
teakR (_, (outR, _outA)) = withLabel "R" $ do
        initPlace <- withLabel "init" $ newBlackPlace [token]
        withLabel "or" $ newTrans [initPlace] [outR] [PNLiteral token]
        return ()
teakR (_, (outR, _outA)) = withLabel "R" $ do
        initPlace <- withLabel "init" $ newBlackPlace [token]
        withLabel "or" $ newTrans [initPlace] [outR] [PNLiteral token]
        return ()