-- 4 turns gets back to original value
prop_1_turnD2 :: Axis D2 -> Bool
prop_1_turnD2 a = turnD2 (turnD2 (turnD2 (turnD2 a))) == a
prop_1_turnD2 :: Axis D2 -> Bool
prop_1_turnD2 a = turnD2 (turnD2 (turnD2 (turnD2 a))) == a
prop_1_turnD2 a = turnD2 (turnD2 (turnD2 (turnD2 a))) == a