No se dan en lenguajes sin subtipos.