问题
how will i define the function 'simplify' using primitive recursion?
simplify :: Expr -> Expr
...
simplify Simplify an expression using basic arithmetic, e.g. simplify (Plus (Var "x") (Const 0)) = Var "x"
来源：https://stackoverflow.com/questions/324003/primitive-recursion