Statistics for Polymorphic Type Qualifiers