TypeLevel.Number.Classes
type family Compare n m :: *
compareN
data IsLesser
data IsEqual
data IsGreater
class Lesser n m
class LesserEq n m
class Greater n m
class GreaterEq n m
class Positive n
class NonZero n
type family Next n :: *
nextN
type family Prev n :: *
prevN
type family Negate n :: *
negateN
type family Add n m :: *
addN
type family Sub n m :: *
subN
type family Mul n m :: *
mulN
type family Div n m :: *
divN
type family Normalized n :: *