Shapeless中Nat类型的限制

Shapeless中Nat类型的限制