English: This restriction makes the distinction between polymorphic and non-polymorphic types very important; thus in predicative systems polymorphic types are sometimes referred to as type schemas to distinguish them from ordinary (monomorphic) types, which are sometimes called monotypes.
Telugu: ఈ నిర్బంధము పాలిమార్ఫిక్ మరియు పాలిమార్ఫిక్ కాని టైపు లకు మధ్య భేదాలను చాల ముఖ్యం చేస్తుంది; అందువలన ప్రేడికేటివ్ (అఖ్యాత) వ్యవస్థ లలో పాలిమార్ఫిక్ రకాలు,కొన్ని సార్లు మోనో టైప్స్గా పిలవబడే సాధారణ (ఏకరూపక) రకాల నుండి వేరు అని చూపించటానికి వాటిని కొన్ని సార్లు వ్యూహ రకాలు (టైపు స్కీమాస్) అని పిలవబడతాయి.