@@ -92,8 +92,9 @@ data Chunk = FileChunk FilePath FilePart | BuilderChunk Builder
9292-- return a result of type @a@.
9393type Body a = BodyOf Chunk a
9494
95−-- | Generalization of 'Body' to arbitrary chunk types; this unifies with
96−-- 'Network.Wai.StreamingBody' with @c ~ Builder@ and @a ~ ()@.
95+-- | Generalization of 'Body' to arbitrary chunk types.
96+--
97+-- 'Network.Wai.StreamingBody' is identical to @BodyOf Builder ()@.
9798type BodyOf c a = (c -> IO ()) -> IO () -> IO a
9899
99100-- | The result of an 'HTTP2Application'; or, alternately, an application
@@ -175,7 +176,7 @@ streamBuilder builder write _ = write $ BuilderChunk builder
175176
176177-- | Equivalent to 'Body' but only streaming 'Builder's.
177178--
178−-- @'Network.Wai.StreamingBody' ~ SimpleBody ()@.
179+-- 'Network.Wai.StreamingBody' is identical to @SimpleBody ()@.
179180type SimpleBody a = BodyOf Builder a
180181
181182-- | Create a response body of a stream of 'Builder's.