Data.Type.Nat.Inequality
type family x < y :: Bool
type family x > y :: Bool
data NatLT
data NatEQ
data NatGT
natCompare