eval' (Add x y) c = eval' x (\n ->
                               eval' y (\m -> c (n+m)))
eval' (Add x y) c = eval' x (\n ->
                               eval' y (\m -> c (n+m)))
eval' (Add x y) c = eval' x (\n ->
                               eval' y (\m -> c (n+m)))