-- any single turn will not give the same value
prop_2_turnD2 :: Axis D2 -> Bool
prop_2_turnD2 a = turnD2 a /= a
prop_2_turnD2 :: Axis D2 -> Bool
prop_2_turnD2 a = turnD2 a /= a
prop_2_turnD2 a = turnD2 a /= a