General purpose tail recursion for K<M, A>

LanguageExt.Core/Effects/IO/IO.Prelude.cs

@@ -52,6 +52,16 @@ public static partial class Prelude
     /// <returns></returns>
     public static IO<A> tail<A>(IO<A> tailIO) =>
         new IOTail<A>(tailIO);
+
+    /// <summary>
+    /// Tail call 
+    /// </summary>
+    /// <param name="ma"></param>
+    /// <typeparam name="A"></typeparam>
+    /// <returns></returns>
+    public static K<M, A> tailIO<M, A>(K<M, A> ma) 
+        where M : Monad<M> =>
+        ma.MapIO(tail);
 
     /// <summary>
     /// Make this IO computation run on the `SynchronizationContext` that was captured at the start

Samples/IOExmples/Program.cs

@@ -15,6 +15,12 @@ static IO<Unit> infiniteLoop(int value) =>
                     : Pure(unit)
         from r in tail(infiniteLoop(value + 1))
         select unit;
+
+    static IO<Unit> infiniteLoop1(int value) =>
+        (value % 10000 == 0
+            ? writeLine($"{value}")
+            : Pure(unit))
+           .Bind(_ => infiniteLoop1(value + 1));
 
     static IO<int> recursiveAskForNumber =>
         from n in askForNumber(1)