Fixes in Compose

Author: gusty

src/FSharpPlus/Data/Compose.fs

@@ -18,7 +18,7 @@ type Compose<'``functorF<'functorG<'t>>``> = Compose of '``functorF<'functorG<'t
     /// To be used in Applicative Style expressions, combined with &lt;*&gt;
     /// </summary>
     /// <category index="1">Functor</category>
-    static member inline (<!>) (f: 'T -> 'U, x: '``FunctorF<'FunctorG<'T>>``) =
+    static member inline (<!>) (f: 'T -> 'U, Compose (x: '``FunctorF<'FunctorG<'T>>``)) =
         Compose (map (map f: '``FunctorG<'T>`` -> '``FunctorG<'U>``) x : '``FunctorF<'FunctorG<'U>>``)
 
     // Applicative
@@ -32,15 +32,15 @@ type Compose<'``functorF<'functorG<'t>>``> = Compose of '``functorF<'functorG<'t
     /// Sequences two composed applicatives left-to-right, discarding the value of the first argument.
     /// </summary>
     /// <category index="2">Applicative</category>
-    static member inline ( *>) (x: '``FunctorF<'FunctorG<'T>>``, y: '``FunctorF<'FunctorG<'U>>``) : '``FunctorF<'FunctorG<'U>>`` =
-        ((fun (_: 'T) (k: 'U) -> k) <!> x : '``FunctorF<'FunctorG<'U -> 'U>>``) <*> y
+    static member inline ( *>) (x: Compose<'``FunctorF<'FunctorG<'T>>``>, y: Compose<'``FunctorF<'FunctorG<'U>>``>) : Compose<'``FunctorF<'FunctorG<'U>>``> =
+        ((fun (_: 'T) (k: 'U) -> k) <!> x : Compose<'``FunctorF<'FunctorG<'U -> 'U>>``>) <*> y
 
     /// <summary>
     /// Sequences two composed applicatives left-to-right, discarding the value of the second argument.
     /// </summary>
     /// <category index="2">Applicative</category>
-    static member inline (<*  ) (x: '``FunctorF<'FunctorG<'U>>``, y: '``FunctorF<'FunctorG<'T>>``): '``FunctorF<'FunctorG<'U>>`` =
-        ((fun (k: 'U) (_: 'T) -> k) <!> x : '``FunctorF<'FunctorG<'T -> 'U>>``) <*> y
+    static member inline (<*  ) (x: Compose<'``FunctorF<'FunctorG<'U>>``>, y: Compose<'``FunctorF<'FunctorG<'T>>``>) : Compose<'``FunctorF<'FunctorG<'U>>``> =
+        ((fun (k: 'U) (_: 'T) -> k) <!> x : Compose<'``FunctorF<'FunctorG<'T -> 'U>>``>) <*> y
 
     static member inline Lift2 (f: 'T -> 'U -> 'V, Compose (x: '``ApplicativeF<'ApplicativeG<'T>``), Compose (y: '``ApplicativeF<'ApplicativeG<'U>``)) =
         Compose (Lift2.Invoke (Lift2.Invoke f: '``ApplicativeG<'T>`` -> '``ApplicativeG<'U>`` -> '``ApplicativeG<'V>``) x y: '``ApplicativeF<'ApplicativeG<'V>``)