@@ -64,12 +64,13 @@ import Data.UInt (UInt)
6464import Effect (Effect)
6565import Effect.Class (class MonadEffect, liftEffect)
6666
67−-- | The `PutM` monad is a Writer transformer monad which
68−-- | [gives us access to do-notation](https://wiki.haskell.org/Do_notation_considered_harmful#Library_design)
69−-- | for building `ArrayBuffer`s.
67+-- | The `PutM` monad is a `WriterT Builder` transformer monad which
68+-- | gives us do-notation for the `Builder` monoid. The base monad must be
69+-- | a `MonadEffect`.
7070type PutM = WriterT Builder
7171
72−-- | `Put` monad is the non-transformer version of `PutM`.
72+-- | The `Put` monad is a `WriterT Builder Effect` monad which
73+-- | gives us do-notation for the `Builder` monoid.
7374type Put = PutM Effect
7475
7576-- | Monoidal builder for `ArrayBuffer`s.