He actualizado las soluciones del ejercicio «Enumeración de los números enteros» cuyo enunciado es

Definir la sucesión

enteros :: [Int]

tal que sus elementos son los números enteros comenzando en el 0 e intercalando los positivos y los negativos. Por ejemplo,

λ> take 23 enteros
[0,1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8,9,-9,10,-10,11,-11]
λ> enteros !! (3*10^7)
-15000000

Comprobar con QuickCheck que el n-ésimo término de la sucesión es \(\frac{1-(2n+1)(-1)^n}{4}\).

Nota: Puedes consultar las soluciones aquí.