scala - 运行时整数值作为类型级整数（如 shapeless.Nat，但不是文字）

Question

我试图表示一个有限环 ℤ/nℤ ，其特征是在运行时指定的类型级整数。

是否有可能有类似的东西shapeless.Nat来表示一个类型级整数，但不需要它是一个编译时常量，即只需要在运行时指定值（并生成相应的类型）？能不能借助宏观天堂的帮助来完成？我需要做什么？

我还需要能够在运行时从类型中检索值，但我不一定需要在类型级别上执行任何算术运算（即添加类型级别整数、增量等）

谢谢你。