أرسل هذا في رسالة قصيرة: Strictness Analysis and Polymorphic Invariance