Characterization of typings in polymorphic type discipline