prop_noVersion :: Version -> Bool
prop_noVersion v' =
  withinRange v' noVersion == False
prop_noVersion :: Version -> Bool
prop_noVersion v' =
  withinRange v' noVersion == False
prop_noVersion v' =
  withinRange v' noVersion == False