sequentialIO
concurrentIO
Money transfer using TVar/atomically/readTVar/writeTVar
Refactor: A withdraw is a deposit with a negative amount.
Withdraw with `blocking` while the amount to transfer is superior to the
current balance of the account