haskell - tipos - ¿Qué es el rigor de la columna vertebral?