Telefona gönder: Strictness Analysis and Polymorphic Invariance