PEVAL x = x x ? _ = x _ ? y = y main = PEVAL (True ? failed)