+ putStr "prop_ccwy_rotation_changes_direction... "
+ quickCheckWith qc_args prop_ccwy_rotation_changes_direction
+
+ putStr "prop_cwy_rotation_changes_direction... "
+ quickCheckWith qc_args prop_cwy_rotation_changes_direction
+
+ putStr "prop_ccwz_rotation_changes_direction... "
+ quickCheckWith qc_args prop_ccwz_rotation_changes_direction
+
+ putStr "prop_cwz_rotation_changes_direction... "
+ quickCheckWith qc_args prop_cwz_rotation_changes_direction
+
+ putStr "prop_ccwx_rotation_result_unique... "
+ quickCheckWith qc_args prop_ccwx_rotation_result_unique
+
+ putStr "prop_cwx_rotation_result_unique... "
+ quickCheckWith qc_args prop_cwx_rotation_result_unique
+
+ putStr "prop_ccwy_rotation_result_unique... "
+ quickCheckWith qc_args prop_ccwy_rotation_result_unique
+
+ putStr "prop_cwy_rotation_result_unique... "
+ quickCheckWith qc_args prop_cwy_rotation_result_unique
+
+ putStr "prop_ccwz_rotation_result_unique... "
+ quickCheckWith qc_args prop_ccwz_rotation_result_unique
+
+ putStr "prop_cwz_rotation_result_unique... "
+ quickCheckWith qc_args prop_cwz_rotation_result_unique
+