PEVAL x = x goal x = PEVAL (x & failed) main = goal (success ? failed)