+ -- putStr "prop_c0210_identity2... "
+ -- quickCheckWith qc_args TF.prop_c0210_identity2
+
+ -- putStr "prop_c0201_identity2... "
+ -- quickCheckWith qc_args TF.prop_c0201_identity2
+
+ -- putStr "prop_c0300_identity3... "
+ -- quickCheckWith qc_args TF.prop_c0300_identity3
+
+ putStr "prop_ccwx_rotation_changes_direction... "
+ quickCheckWith qc_args prop_ccwx_rotation_changes_direction
+
+ putStr "prop_cwx_rotation_changes_direction... "
+ quickCheckWith qc_args prop_cwx_rotation_changes_direction