haskell - 字节串构建器内部的类型参数是什么？

Question

Data.ByteString.Builder 的核心数据类型是

newtype Builder = Builder (forall r. BuildStep r -> BuildStep r)

type BuildStep a = BufferRange -> IO (BuildSignal a)

data BuildSignal a =
    Done {-# UNPACK #-} !(Ptr Word8) a
  | BufferFull
      {-# UNPACK #-} !Int 
      {-# UNPACK #-} !(Ptr Word8)
                     (BuildStep a)
  | InsertChunk
      {-# UNPACK #-} !(Ptr Word8)
                     S.ByteString
                     (BuildStep a)

类型参数( r 或 a )有什么用途？

Answer 1

它不是必需的。作为证据，我有 created a fork它不会更改任何公共(public) API——仅更改名为 Internal 的模块的 API -- 但删除了这个类型参数。