Fix some signatures that used flexible types, but shouldn't have

Author: abelbraaksma

README.md

@@ -462,8 +462,8 @@ The following are the current surface area of the `TaskSeq` utility functions, o
 
 ```f#
 module TaskSeq =
-    val append: source1: #taskSeq<'T> -> source2: #taskSeq<'T> -> taskSeq<'T>
-    val appendSeq: source1: #taskSeq<'T> -> source2: #seq<'T> -> taskSeq<'T>
+    val append: source1: taskSeq<'T> -> source2: taskSeq<'T> -> taskSeq<'T>
+    val appendSeq: source1: taskSeq<'T> -> source2: seq<'T> -> taskSeq<'T>
     val box: source: taskSeq<'T> -> taskSeq<obj>
     val cast: source: taskSeq<obj> -> taskSeq<'T>
     val choose: chooser: ('T -> 'U option) -> source: taskSeq<'T> -> taskSeq<'U>
@@ -522,7 +522,7 @@ module TaskSeq =
     val ofTaskSeq: source: seq<#Task<'T>> -> taskSeq<'T>
     val pick: chooser: ('T -> 'U option) -> source: taskSeq<'T> -> Task<'U>
     val pickAsync: chooser: ('T -> #Task<'U option>) -> source: taskSeq<'T> -> Task<'U>
-    val prependSeq: source1: #seq<'T> -> source2: #taskSeq<'T> -> taskSeq<'T>
+    val prependSeq: source1: seq<'T> -> source2: taskSeq<'T> -> taskSeq<'T>
     val singleton: source: 'T -> taskSeq<'T>
     val tail: source: taskSeq<'T> -> Task<taskSeq<'T>>
     val takeWhile: predicate: ('T -> bool) -> source: taskSeq<'T> -> Task<taskSeq<'T>>

src/FSharp.Control.TaskSeq/TaskSeq.fs

@@ -171,25 +171,25 @@ module TaskSeq =
             yield! (ts :> taskSeq<'T>)
     }
 
-    let append (source1: #taskSeq<'T>) (source2: #taskSeq<'T>) = taskSeq {
+    let append (source1: taskSeq<'T>) (source2: taskSeq<'T>) = taskSeq {
         Internal.checkNonNull (nameof source1) source1
         Internal.checkNonNull (nameof source2) source2
-        yield! (source1 :> IAsyncEnumerable<'T>)
-        yield! (source2 :> IAsyncEnumerable<'T>)
+        yield! source1
+        yield! source2
     }
 
-    let appendSeq (source1: #taskSeq<'T>) (source2: #seq<'T>) = taskSeq {
+    let appendSeq (source1: taskSeq<'T>) (source2: seq<'T>) = taskSeq {
         Internal.checkNonNull (nameof source1) source1
         Internal.checkNonNull (nameof source2) source2
-        yield! (source1 :> IAsyncEnumerable<'T>)
-        yield! (source2 :> seq<'T>)
+        yield! source1
+        yield! source2
     }
 
-    let prependSeq (source1: #seq<'T>) (source2: #taskSeq<'T>) = taskSeq {
+    let prependSeq (source1: seq<'T>) (source2: taskSeq<'T>) = taskSeq {
         Internal.checkNonNull (nameof source1) source1
         Internal.checkNonNull (nameof source2) source2
-        yield! (source1 :> seq<'T>)
-        yield! (source2 :> IAsyncEnumerable<'T>)
+        yield! source1
+        yield! source2
     }
 
     //

src/FSharp.Control.TaskSeq/TaskSeq.fsi

@@ -130,7 +130,7 @@ module TaskSeq =
     /// <param name="source2">The second input task sequence.</param>
     /// <returns>The resulting task sequence.</returns>
     /// <exception cref="T:ArgumentNullException">Thrown when either of the input sequences is null.</exception>
-    val append: source1: #taskSeq<'T> -> source2: #taskSeq<'T> -> taskSeq<'T>
+    val append: source1: taskSeq<'T> -> source2: taskSeq<'T> -> taskSeq<'T>
 
     /// <summary>
     /// Concatenates a task sequence <paramref name="source1" /> with a non-async F# <see cref="seq" /> in <paramref name="source2" />
@@ -141,7 +141,7 @@ module TaskSeq =
     /// <param name="source2">The input F# <see cref="seq" /> sequence.</param>
     /// <returns>The resulting task sequence.</returns>
     /// <exception cref="T:ArgumentNullException">Thrown when either of the input sequences is null.</exception>
-    val appendSeq: source1: #taskSeq<'T> -> source2: #seq<'T> -> taskSeq<'T>
+    val appendSeq: source1: taskSeq<'T> -> source2: seq<'T> -> taskSeq<'T>
 
     /// <summary>
     /// Concatenates a non-async F# <see cref="seq" /> in <paramref name="source1" /> with a task sequence in <paramref name="source2" />
@@ -152,7 +152,7 @@ module TaskSeq =
     /// <param name="source2">The input task sequence.</param>
     /// <returns>The resulting task sequence.</returns>
     /// <exception cref="T:ArgumentNullException">Thrown when either of the input sequences is null.</exception>
-    val prependSeq: source1: #seq<'T> -> source2: #taskSeq<'T> -> taskSeq<'T>
+    val prependSeq: source1: seq<'T> -> source2: taskSeq<'T> -> taskSeq<'T>
 
     /// Returns taskSeq as an array. This function is blocking until the sequence is exhausted and will properly dispose of the resources.
     val toList: source: taskSeq<'T> -> 'T list