PEVAL x = x goal x = PEVAL ((case x of True -> success; False -> failed) & success) main = goal True ? goal False