PEVAL x = x coin = 0 coin = 1 pair x = (x, x) main = PEVAL (pair coin)