Ominaisuus joidenkin ohjelmointikieliin, joka edellyttää ilmoitettavat tiedot jokaiseen tyyppi, toimijoiden pääomahenkivakuutuksen sopimatonta tietotyypit ja estää tietojen kohteiden yhteensopimattoman tyypin vuorovaikutusta.