TVar instance