Estos tipos son útiles, sobre todo por la facilidad que ofrecen para verificar automáticamente errores.