The "value-level reflection functions" in Data.TypeLevel.Num.Ops all seem to be
'undefined'.
Those are operations on type level representations, but expressed at the value level; that is, in some sense the opposite of what you're looking for. Looks like what you really want is Data.TypeLevel.Num.Sets.toNum (or toInt in the same module).