Made the requirements for unsafeUnreadTVar