positiveNum :: (Arbitrary a, Num a, Ord a) => Gen a
positiveNum = (\(Positive n) -> n) <$> arbitrary
positiveNum :: (Arbitrary a, Num a, Ord a) => Gen a
positiveNum = (\(Positive n) -> n) <$> arbitrary
positiveNum = (\(Positive n) -> n) <$> arbitrary