Stav dette: Strictness Analysis and Polymorphic Invariance