-- | Points shall go in half segment long steps
prop_ptsShallGoInEqualSteps :: DottedLine -> Bool
prop_ptsShallGoInEqualSteps (DottedLine start end seg ps) =
  foldl (checkLength (seg/2)) True ps
prop_ptsShallGoInEqualSteps :: DottedLine -> Bool
prop_ptsShallGoInEqualSteps (DottedLine start end seg ps) =
  foldl (checkLength (seg/2)) True ps
prop_ptsShallGoInEqualSteps (DottedLine start end seg ps) =
  foldl (checkLength (seg/2)) True ps