'push' -> 'fmap', Num operations in terms of liftA2.