-- op :: Op -> (a -> a -> Value)
opE Eq = \e e' -> VBool $ e == e'
opE NEq = \e e' -> VBool $ not (e == e')
op Plus = \e e' -> VInt $ e + e'
-- op :: Op -> (a -> a -> Value)
opE Eq = \e e' -> VBool $ e == e'
opE NEq = \e e' -> VBool $ not (e == e')
op Plus = \e e' -> VInt $ e + e'