TypeLevel.Number.Classes
type family Compare n m :: *
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 :: *
type family Prev n :: *
type family Negate n :: *
type family Add n m :: *
type family Sub n m :: *
type family Mul n m :: *
type family Div n m :: *
type family Normalized n :: *