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