榆n型 如何表达一种类型中的数字？ 该软件包使您能够做到这一点。 让我们看一个例子：实现一个NaturalNumber module NaturalNumber exposing ( NaturalNumber ) import Nat.Type exposing (..) 确切的描述。 -- we don't expose this constructor type NaturalNumber n = NaturalNumber Int one : NaturalNumber