أرسل هذا في رسالة قصيرة: Polytypic values possess polykinded types