--eval :: (MonadState Variables m) => Exp -> m Value
eval :: Exp -> StateT Variables IO Value
eval (EBool b) = return (VBool b)
--eval :: (MonadState Variables m) => Exp -> m Value
eval :: Exp -> StateT Variables IO Value
eval (EBool b) = return (VBool b)