Moved "push" into Local.hs