PEVAL x = x goal = PEVAL (let digits = (0 ? 1) : digits in digits) main = take 10 goal