Add 'freezeToPull' in PullPush.hs