Lazyify freezePush so that "fold (++) empty xs" will compile.