Pošalji tekstualnu poruku: Strictness Analysis and Polymorphic Invariance