この資料をSMS送信: Linearity in higher-order recursion schemes