putStr "prop_c0120_identity1... "
quickCheckWith qc_args TC.prop_c0120_identity1
+ putStr "prop_c0120_identity2... "
+ quickCheckWith qc_args TC.prop_c0120_identity2
+
+ putStr "prop_c0120_identity3... "
+ quickCheckWith qc_args TC.prop_c0120_identity3
+
+ putStr "prop_c0120_identity4... "
+ quickCheckWith qc_args TC.prop_c0120_identity4
+
+ putStr "prop_c0120_identity5... "
+ quickCheckWith qc_args TC.prop_c0120_identity5
+
+ putStr "prop_c0120_identity6... "
+ quickCheckWith qc_args TC.prop_c0120_identity6
+
putStr "prop_c0210_identity1... "
quickCheckWith qc_args TC.prop_c0210_identity1