rop
  , QC.testProperty "ArithExprs Generics" arithExprGenericsProp
  ]

main :: IO ()
main = defaultMain allTests

parseGenTests :: TestTree
parseGenTests = testGroup "parse . gen == id"
  [ QC.testProperty "ArithExprs TH" arithExprTHProp
  , QC.testProperty "ArithExprs Generics" arithExprGenericsProp
  ]
parseGenTests = testGroup "parse . gen == id"
  [ QC.testProperty "ArithExprs TH" arithExprTHProp
  , QC.testProperty "ArithExprs Generics" arithExprGenericsProp
  ]