我在Hoogle上搜索了Text.Parsec.Token.natural，发现Text.Parsec.Token.natural的类型是natural :: ParsecT s u m Integer。
但这与我在GHCi中使用:t所获得的矛盾。
GHCi给出以下类型：
Prelude Text.Parsec.Token> :t natural
natural
:: GenTokenParser s u m -> Text.Parsec.Prim.ParsecT s u m Integer
不仅自然，整数，浮点数，十进制等也是如此。
最佳答案
natural是数据类型GenTokenParser s u m的命名字段。该字段的类型为ParsecT s u m Integer；向下滚动找到它。
函数natural从任何GenTokenParser s u m值（即类型）访问该字段。