Todo tipo que tiene al menos un literal carácter es un tipo carácter.