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