Correct doc

Author: gusty

docsrc/content/type-seqt.fsx

@@ -13,7 +13,7 @@ type System.Net.WebClient with member wc.AsyncDownloadString (uri: System.Uri) =
 SeqT<Monad<bool>, 'T>
 =====================
 
-This is the the Monad Transformer for `seq<'T>` so it adds sequencing to existing monads by composing then with `seq<'T>`.
+This is the the Monad Transformer for `seq<'T>` so it adds sequencing to existing monads by composing them with `seq<'T>`.
 
 Any monad can be composed, but a very typical usage is when combined with `Async` or `Task`, which gives rise to what's called async sequences.
 
@@ -34,7 +34,7 @@ body #fsdocs-content table code { word-break: normal; }
 |`asyncSeq { .. }`              |`monad.plus { .. }`                    | At some point it needs to be inferred as `SeqT<Async<bool>, 'T>`, or it can be specified with type parameters: `monad<SeqT<Async<bool>, 'T>>.plus` |
 |`let! x = y`                   |`let! x = SeqT.lift y`                 | No auto lifting. Lifting should be explicit. |
 |`do! x`                        |`do! SeqT.lift x`                      | ''        |
-|`for x in s`                   |`let! x = s`                           | When `s: AsyncSeq<'T>` otherwise `for` is still ok with regular sequences. |
+|`for x in s`                   |`let! x = s`                           | When `s: SeqT` otherwise `for` is still ok with regular sequences. |
 |`AsyncSeq.[function]`          |`SeqT.[function]`                      | See differences in functions below. |
 |`AsyncSeq.[function]Async`     |`SeqT.[function]M`                     | ''        |
 |`AsyncSeq.skip`                |`SeqT.drop`                            | `.skip` is available but consistently with F# collections, it throws when the sequence doesn't have enough elements. |
@@ -162,4 +162,4 @@ randomCrawl "https://en.wikipedia.org/wiki/Main_Page"
 |> SeqT.map snd
 |> SeqT.take 10
 |> SeqT.iter (printfn "%s")
-|> Async.Start
+|> Async.Start