From c7181533493adbae62eaa483ed482991bf706a3e Mon Sep 17 00:00:00 2001
From: Gustavo Leon <1261319+gusty@users.noreply.github.com>
Date: Sun, 8 Oct 2023 09:11:12 +0200
Subject: [PATCH] Fix Monad signature in docs

---
 docsrc/content/abstraction-comonad.fsx    | 4 ++--
 docsrc/content/abstraction-monad.fsx      | 6 +++---
 docsrc/content/abstraction-profunctor.fsx | 6 +++---
 3 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/docsrc/content/abstraction-comonad.fsx b/docsrc/content/abstraction-comonad.fsx
index 852ebe6e8..2a18d3164 100644
--- a/docsrc/content/abstraction-comonad.fsx
+++ b/docsrc/content/abstraction-comonad.fsx
@@ -23,8 +23,8 @@ Minimal complete definition
 
 *)
 (**
-    static member Extract (s:'Comonad<'T>) : 'T
-    static member (=>>)   (s:'Comonad<'T>, f:'Comonad<'T> -> 'U) : Comonad<'U>
+    static member Extract (s: 'Comonad<'T>) : 'T
+    static member (=>>)   (s: 'Comonad<'T>, f: 'Comonad<'T> -> 'U) : 'Comonad<'U>
 *)
 (**
 
diff --git a/docsrc/content/abstraction-monad.fsx b/docsrc/content/abstraction-monad.fsx
index dd6fab944..eb1fce5ad 100644
--- a/docsrc/content/abstraction-monad.fsx
+++ b/docsrc/content/abstraction-monad.fsx
@@ -22,7 +22,7 @@ Minimal complete definition
 *)
 (**
     static member Return (x: 'T) : 'Monad<'T>
-    static member (>>=) (x: Monad<'T>, f: 'T->Monad<'U>) : Monad<'U>
+    static member (>>=) (x: 'Monad<'T>, f: 'T -> 'Monad<'U>) : 'Monad<'U>
 *)
 (**
 
@@ -34,7 +34,7 @@ Other operations
  * ``join``
 *)
 (**
-    static member Join (x:'Monad<'Monad<'T>>) :'Monad<'T>
+    static member Join (x: 'Monad<'Monad<'T>>) : 'Monad<'T>
 *)
 (**
 
@@ -361,4 +361,4 @@ Recommended reading
    
    It contains examples using F#+ and an explanation from scratch.
 
-*)
\ No newline at end of file
+*)
diff --git a/docsrc/content/abstraction-profunctor.fsx b/docsrc/content/abstraction-profunctor.fsx
index 326de41ac..e8ac497ca 100644
--- a/docsrc/content/abstraction-profunctor.fsx
+++ b/docsrc/content/abstraction-profunctor.fsx
@@ -20,7 +20,7 @@ Minimal complete definition
  * ``dimap f g x``
 *)
 (**
-    static member Dimap (x:'Profunctor<'T,'V>, f:'U->'T, g:'V->'W) :'Profunctor<'U,'W>
+    static member Dimap (x: 'Profunctor<'T, 'V>, f: 'U -> 'T, g: 'V -> 'W) : 'Profunctor<'U, 'W>
 *)
 (**
 
@@ -31,14 +31,14 @@ Other operations
  * ``lmap f x``
 *)
 (**
-    static member Contramap (x:Profunctor<'T,'V>, f:'U->'T) :'Profunctor<'U,'V>
+    static member Contramap (x: 'Profunctor<'T, 'V>, f: 'U -> 'T) : 'Profunctor<'U, 'V>
 *)
 (**
 
  * ``rmap g x``
 *)
 (**
-    static member Map (x:Profunctor<'T,'V>, f:'V->'W) :'Profunctor<'T,'W>
+    static member Map (x: 'Profunctor<'T,'V>, f: 'V -> 'W) : 'Profunctor<'T, 'W>
 *)
 (**