为什么类型的Text.Parsec.Token.natural在Hoogle和显示的内容之间是不一样的：t？

Question

我在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

不仅是自然的，还有整数，浮点数，小数等等。

Answer 1

natural是数据类型GenTokenParser s u m的命名字段。该字段的类型为ParsecT s u m Integer;向下滚动即可找到它。

函数 natural从GenTokenParser s u m的任何值访问该字段，因此类型。