He actualizado las soluciones del ejercicio «Números naturales separados por ceros» cuyo enunciado es

Definir la sucesión

naturalesEntreCero :: [Int]

cuyos elementos son los números naturales separados por 0. Por ejemplo,

λ> take 25 naturalesEntreCero
[0,0,1,0,2,0,3,0,4,0,5,0,6,0,7,0,8,0,9,0,10,0,11,0,12]

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

Nota: Puedes consultar las soluciones aquí.