haskell - tipos - ¿Por qué es init una función parcial?