توابع مرتبه بالا و ترکیب‌پذیرها