eval :: Int -> Int -> Int
eval(x, y) -> eval(x - 1, y) | x>y