Գրեք սա: Strictness Analysis and Polymorphic Invariance