Data.TypeLevel.Num.Sets
class Pos n
class Nat n