Shipping costs for Higher Recursion Theory (Perspectives in Mathematical Logic)