שליחה במסרון: Strictness Analysis and Polymorphic Invariance