Data.TypeLevel.Num.Sets

class Pos n

class Nat n

toNum

toInt

reifyIntegral