Additional cases for <=? type family

[RobMurray98]

Was surprised to find that the following type doesn't reduce to a boolean:
Pos 1 <=? Pos 2

The <=? type family seems to be missing cases like this for positive integers. The following definitions should be added to the <=? type family in Data.TypeNums.Comparison:

type family (a :: k1) <=? (b :: k2) :: Bool where
    ...
    (Pos a) <=? (Pos b) = (G.<=?) a b
    (Pos _) <=? (Neg _) = False 

Those are the missing cases that I've identified, there may be more.

[adituv]

You're absolutely correct. I believe the Pos constructor didn't exist when I originally created that type family and it being missing is an oversight. Would you like to submit a pull request for this?

[RobMurray98]

Will do later :)

[adituv]

Closed: PR has been manually merged, even if GitHub doesn't realise it.