PEVAL x = x main = PEVAL ((success :: Success) & success)