Add 2 layer forward applicative variations

Author: gusty

src/FSharpPlus/Operators.fs

@@ -270,6 +270,29 @@ module Operators =
     /// <category index="2">Applicative</category>
     let inline (<.) (x: '``ZipApplicative<'U>``) (y: '``ZipApplicative<'T>``) : '``ZipApplicative<'U>`` = ((fun (k: 'U) (_: 'T) -> k ) <!> x : '``ZipApplicative<'T->'U>``) <.> y
 
+    /// <summary>
+    /// Sequences two nested applicatives left-to-right, discarding the value of the first argument.
+    /// </summary>
+    /// <category index="2">Applicative</category>
+    let inline ( **>) (x: '``Applicative1<Applicative2<'T>>``)       (y: '``Applicative1<Applicative2<'U>>``)       : '``Applicative1<Applicative2<'U>>``       = (Map.Invoke ( *>) x) <*> y
+
+    /// <summary>
+    /// Applies two nested applicatives left-to-right, discarding the value of the first argument.
+    /// The outer applicative is non-sequential (zip-like), while the inner one is sequential.
+    /// </summary>
+    let inline ( .*>) (x: '``ZipApplicative<Applicative<'T>>``)      (y: '``ZipApplicative<Applicative<'U>>``)      : '``ZipApplicative1<Applicative<'U>>``     = (Map.Invoke ( *>) x) <.> y
+
+    /// <summary>
+    /// Applies two nested applicatives left-to-right, discarding the value of the first argument.
+    /// The outer applicative is sequential, while the inner one is non-sequential (zip-like).
+    /// </summary>
+    let inline ( *.>) (x: '``Applicative<ZipApplicative<'T>>``)      (y: '``Applicative1<ZipApplicative<'U>>``)     : '``Applicative1<ZipApplicative<'U>>``     = (Map.Invoke ( .>) x) <*> y
+
+    /// <summary>
+    /// Applies two nested applicatives left-to-right in a non-sequential way, discarding the value of the first argument.
+    /// </summary>
+    let inline ( ..>) (x: '``ZipApplicative1<ZipApplicative2<'T>>``) (y: '``ZipApplicative1<ZipApplicative2<'U>>``) : '``ZipApplicative1<ZipApplicative2<'U>>`` = (Map.Invoke ( .>) x) <.> y
+    
     /// <summary>
     /// Applies 2 lifted arguments to a non-lifted function with pointwise and/or parallel semantics.
     /// Operator version of 'map2'.