writeBlocksRaw uses the same bounds check as writeBlocksCRLF. writeBlocksRaw will always only write one character while writeBlocksCRLF can write two.

Seems like it should actually be

          | n >= len -> commit n True{-needs flush-} False >>= outer s