أرسل هذا في رسالة قصيرة: Generic programming for indexed datatypes