Los tipos que puede ser instanciados automáticamente por el sistema de tipos son llamados "instanciables".