أرسل هذا في رسالة قصيرة: The role of type equality in meta-programming