add mkWeakTVar (#7991)