Use higher-order functions to define right-push.