این از اون سوالای عتیقه است که امیدوارم امثال دچارشون نشیم
پاسخ مقسمی رو مینویسم توضیحش خوبه:
چون پارامتر اول تابع f ، برابر g می باشد پس a-->b یعنی ورودی g از نوع a و خروجی آن از نوع b است.
چون در تابع g(h(x خروجی h ورودی g تلقی میشه پس باید خروجی h نیز a باشد اما ورودی آن میتواند هر چیزی مثل C باشد
در مورد x چون در g(h(x ،متغیر x پارامتر h تلقی شده و نوع آن Cاست پس x باید از نوع C باشد.
شفاف بود؟

نه انصافا خوب گفته بود به جز اون اولش که گفت "چون پارامتر اول تابع f ، برابر g می باشد پس a-->b"
دست شما درد نکنه خیلی بسیار بسیار زحمت کشیدی
ایشالا موفق باشی