คำถามมีดังต่อไปนี้ โดยทั่วไปเมื่อมีคำเช่นเราสามารถกำจัด forall โดยใช้คำนี้กับประเภทเช่น.
ทีนี้สมมติว่านี่คือลูกศรและเราต้องการโต้แย้งมันแล้วเราจะต้องใช้เทอมนี้กับประเภทที่เหมาะสมเพื่อให้สามารถรับอาร์กิวเมนต์ได้ นั่นคือสิ่งที่ฉันถามถ้าฉันสามารถทำให้เป็นอัตโนมัติ: มันเป็นไปได้ที่จะสร้างฟังก์ชั่น รับสองเทอมและคืนค่าประเภทนั้น โปรดระบุประเภทที่จำเป็นสำหรับการแทนที่ด้วย ใน ดังนั้น สามารถยอมรับข้อโต้แย้ง ?
ตัวอย่างบางส่วน:
.