关于learnyouahaskell.com的“Kinds and some type-foo”部分中的段落的困惑

Question

我是一名Haskell noob，他正在通过精彩的“了解你为伟大的好人而努力”。这个问题与第8章中"Kinds and some type-foo"一节中的一段话有关。该段落的内容如下：

“ Frank 豆腐的实例非常简单。我们看到豆腐需要 ja （因此该表单的示例类型为可能为Int ）并返回 taj 。因此，如果我们将 Frank 替换为 j ，结果类型为 Frank Int Maybe 。“

这让我有点糊涂了。在我看来，最后一句应该是：

“因此，如果我们用 Frank 替换 t ，结果类型将为 Frank Int Maybe 。”

对于我出错的地方的任何解释都将非常感激。

Answer 1

你根本不会出错。这本书中的错误。你提出的判决是正确的。