真实世界Haskell：在这个例子中使用fromIntegral是不必要的？

Question

当fromIntegral的返回类型为getNat时，我不明白为什么Maybe(Int, L.ByteString)在下面显示的图片中需要L8.readInt。

Int的返回类型为Int，为什么需要从Int转换为{{1}}？

这是一个错误的＃34;在书里？

或者我在这里遗漏了什么？