import Control.Concurrent.STM

import Control.Concurrent.STM.TVar

transfer :: Int -> TVar Int -> TVar Int -> STM ()

transfer v a b = do

 x <- readTVar a

 y <- readTVar b

 writeTVar a (x - v)

 writeTVar b (y + v)  //displaying value of a and b