Үүнийг мессежээр илгээх: Strictness Analysis and Polymorphic Invariance