evalM :: Exp -> Maybe Int
evalM (Con i) = return i
evalM (Sum e e') = do
    es <- evalM e
    is <- evalM e'
    return (es + is)
evalM (Division e e') = do
    es <- evalM e
    is <- evalM e'
    if is == 0 then Nothing else return (es `div` is)