arithExprGenericsProp :: ArithExpr -> Bool
arithExprGenericsProp expr =
  (G.genSexp arithExprGenericIso expr >>= G.parseSexp arithExprGenericIso :: Either String ArithExpr)
  ==
  Right expr
arithExprGenericsProp :: ArithExpr -> Bool
arithExprGenericsProp expr =
  (G.genSexp arithExprGenericIso expr >>= G.parseSexp arithExprGenericIso :: Either String ArithExpr)
  ==
  Right expr
arithExprGenericsProp expr =
  (G.genSexp arithExprGenericIso expr >>= G.parseSexp arithExprGenericIso :: Either String ArithExpr)
  ==
  Right expr