-- evaluation order is explicit
--    first eval' x
--     then eval' y
--      thena apply (+)
eval' :: Expr -> Cont -> Int
eval' (Val n) c = c n
eval' :: Expr -> Cont -> Int
eval' (Val n) c = c n
eval' (Val n) c = c n