Data.Type.Nat.Inequality
data
NatLT
data
NatEQ
data
NatGT
natCompare