GHC.TypeLits.Compare
<=
<=?
data (:<=?)
(%<=?)
isLE
isNLE
CmpNat
data SCmpNat
cmpNat
flipCmpNat
cmpNatEq
eqCmpNat
cmpNatLE