Update generated documentation for version 1.6.1

Dockerfile

@@ -1,85 +1,29 @@
-FROM jupyter/base-notebook:latest
+FROM mcr.microsoft.com/dotnet/sdk:7.0
 
-# Install .NET CLI dependencies
+RUN apt-get update \
+    && apt-get -y upgrade \
+    && apt-get -y install python3 python3-pip python3-dev ipython3
+
+RUN python3 -m pip install --no-cache-dir notebook jupyterlab
 
 ARG NB_USER=fsdocs-user
 ARG NB_UID=1000
 ENV USER ${NB_USER}
 ENV NB_UID ${NB_UID}
 ENV HOME /home/${NB_USER}
 
-WORKDIR ${HOME}
+RUN adduser --disabled-password \
+    --gecos "Default user" \
+    --uid ${NB_UID} \
+    ${NB_USER}
 
+COPY . ${HOME}
 USER root
-RUN apt-get update
-RUN apt-get install -y curl
-
-ENV \
-    # Enable detection of running in a container
-    DOTNET_RUNNING_IN_CONTAINER=true \
-    # Enable correct mode for dotnet watch (only mode supported in a container)
-    DOTNET_USE_POLLING_FILE_WATCHER=true \
-    # Skip extraction of XML docs - generally not useful within an image/container - helps performance
-    NUGET_XMLDOC_MODE=skip \
-    # Opt out of telemetry until after we install jupyter when building the image, this prevents caching of machine id
-    DOTNET_INTERACTIVE_CLI_TELEMETRY_OPTOUT=true
-
-# Install .NET CLI dependencies
-RUN apt-get update \
-    && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \
-        libc6 \
-        libgcc1 \
-        libgssapi-krb5-2 \
-        libicu66 \
-        libssl1.1 \
-        libstdc++6 \
-        zlib1g \
-    && rm -rf /var/lib/apt/lists/*
-
-# Install .NET Core SDK
-
-# When updating the SDK version, the sha512 value a few lines down must also be updated.
-ENV DOTNET_SDK_VERSION 5.0.101
-
-RUN dotnet_sdk_version=5.0.101 \
-    && curl -SL --output dotnet.tar.gz https://dotnetcli.azureedge.net/dotnet/Sdk/$dotnet_sdk_version/dotnet-sdk-$dotnet_sdk_version-linux-x64.tar.gz \
-    && dotnet_sha512='398d88099d765b8f5b920a3a2607c2d2d8a946786c1a3e51e73af1e663f0ee770b2b624a630b1bec1ceed43628ea8bc97963ba6c870d42bec064bde1cd1c9edb' \
-    && echo "$dotnet_sha512 dotnet.tar.gz" | sha512sum -c - \
-    && mkdir -p /usr/share/dotnet \
-    && tar -ozxf dotnet.tar.gz -C /usr/share/dotnet \
-    && rm dotnet.tar.gz \
-    && ln -s /usr/share/dotnet/dotnet /usr/bin/dotnet \
-    # Trigger first run experience by running arbitrary cmd
-    && dotnet help
-
-# Copy notebooks
-
-COPY ./ ${HOME}/notebooks/
-
-# Copy package sources
-
-COPY ./NuGet.config ${HOME}/nuget.config
-
 RUN chown -R ${NB_UID} ${HOME}
-USER ${USER}
-
-#Install nteract 
-RUN pip install nteract_on_jupyter
-
-# Install lastest build from master branch of Microsoft.DotNet.Interactive
-RUN dotnet tool install -g Microsoft.dotnet-interactive --add-source "https://pkgs.dev.azure.com/dnceng/public/_packaging/dotnet-tools/nuget/v3/index.json"
-
-#latest stable from nuget.org
-#RUN dotnet tool install -g Microsoft.dotnet-interactive --add-source "https://api.nuget.org/v3/index.json"
-
-ENV PATH="${PATH}:${HOME}/.dotnet/tools"
-RUN echo "$PATH"
+USER ${NB_USER}
 
-# Install kernel specs
-RUN dotnet interactive jupyter install
+ENV PATH="${PATH}:$HOME/.dotnet/tools/"
 
-# Enable telemetry once we install jupyter for the image
-ENV DOTNET_INTERACTIVE_CLI_TELEMETRY_OPTOUT=false
+RUN dotnet tool install --global Microsoft.dotnet-interactive --version 1.0.410202
 
-# Set root to notebooks
-WORKDIR ${HOME}/notebooks/
+RUN dotnet-interactive jupyter install

abstraction-alternative.html

@@ -235,7 +235,7 @@ <h2><a name="Examples" class="anchor" href="#Examples">Examples</a></h2>
 <span class="k">let</span> <span onmouseout="hideTip(event, 'fs59', 134)" onmouseover="showTip(event, 'fs59', 134)" class="id">r2</span> <span class="o">=</span> <span onmouseout="hideTip(event, 'fs9', 135)" onmouseover="showTip(event, 'fs9', 135)" class="uc">Some</span> <span class="n">2</span> <span class="o">&lt;|&gt;</span> <span onmouseout="hideTip(event, 'fs9', 136)" onmouseover="showTip(event, 'fs9', 136)" class="uc">Some</span> <span class="n">1</span>  <span class="c">// first success    =&gt; Some 2</span>
 </code></pre>
 
-            <div class="fsdocs-tip" id="fs1">Multiple items<br />val seq: sequence: seq&lt;&#39;T&gt; -&gt; seq&lt;&#39;T&gt;<br /><br />--------------------<br />type seq&lt;&#39;T&gt; = System.Collections.Generic.IEnumerable&lt;&#39;T&gt;</div>
+            <div class="fsdocs-tip" id="fs1">Multiple items<br />val seq: sequence: &#39;T seq -&gt; &#39;T seq<br /><br />--------------------<br />type &#39;T seq = System.Collections.Generic.IEnumerable&lt;&#39;T&gt;</div>
 <div class="fsdocs-tip" id="fs2">Multiple items<br />type Choice&lt;&#39;T1,&#39;T2&gt; =
   | Choice1Of2 of &#39;T1
   | Choice2Of2 of &#39;T2<br /><br />--------------------<br />type Choice&lt;&#39;T1,&#39;T2,&#39;T3&gt; =

abstraction-applicative.html

@@ -312,7 +312,7 @@ <h2><a name="Recommended-reading" class="anchor" href="#Recommended-reading">Rec
  Converts to a value from its string representation. Returns None if the convertion doesn&#39;t succeed.
  &lt;/summary&gt;<br />&lt;category index=&quot;21&quot;&gt;Converter&lt;/category&gt;</em></div>
 <div class="fsdocs-tip" id="fs11">val resSome22: int option</div>
-<div class="fsdocs-tip" id="fs12">Multiple items<br />val option: f: (&#39;g -&gt; &#39;h) -&gt; n: &#39;h -&gt; _arg1: &#39;g option -&gt; &#39;h<br /><em>&lt;summary&gt;
+<div class="fsdocs-tip" id="fs12">Multiple items<br />val option: f: (&#39;a -&gt; &#39;b) -&gt; n: &#39;b -&gt; _arg1: &#39;a option -&gt; &#39;b<br /><em>&lt;summary&gt;
  Takes a function, a default value and a option value. If the option value is None, the function returns the default value.
  Otherwise, it applies the function to the value inside Some and returns the result.
  &lt;/summary&gt;<br />&lt;category index=&quot;0&quot;&gt;Common Combinators&lt;/category&gt;</em><br /><br />--------------------<br />type &#39;T option = Option&lt;&#39;T&gt;</div>
@@ -333,7 +333,7 @@ <h2><a name="Recommended-reading" class="anchor" href="#Recommended-reading">Rec
 <div class="fsdocs-tip" id="fs21">namespace Microsoft.FSharp.Quotations</div>
 <div class="fsdocs-tip" id="fs22">Multiple items<br />type Expr =
   override Equals: obj: obj -&gt; bool
-  member GetFreeVars: unit -&gt; seq&lt;Var&gt;
+  member GetFreeVars: unit -&gt; Var seq
   member Substitute: substitution: (Var -&gt; Expr option) -&gt; Expr
   member ToString: full: bool -&gt; string
   static member AddressOf: target: Expr -&gt; Expr
@@ -375,24 +375,24 @@ <h2><a name="Recommended-reading" class="anchor" href="#Recommended-reading">Rec
 <div class="fsdocs-tip" id="fs41">Multiple items<br />union case Ii.Ii: Ii<br /><br />--------------------<br />type Ii = | Ii</div>
 <div class="fsdocs-tip" id="fs42">val res3n4&#39;: int list</div>
 <div class="fsdocs-tip" id="fs43">val res18n24: ZipList&lt;int&gt;</div>
-<div class="fsdocs-tip" id="fs44">Multiple items<br />union case ZipList.ZipList: seq&lt;&#39;s&gt; -&gt; ZipList&lt;&#39;s&gt;<br /><br />--------------------<br />module ZipList
+<div class="fsdocs-tip" id="fs44">Multiple items<br />union case ZipList.ZipList: &#39;s seq -&gt; ZipList&lt;&#39;s&gt;<br /><br />--------------------<br />module ZipList
 
 from FSharpPlus.Data<br /><em>&lt;summary&gt;
  Basic operations on ZipList
 &lt;/summary&gt;</em><br /><br />--------------------<br />type ZipList&lt;&#39;s&gt; =
-  | ZipList of seq&lt;&#39;s&gt;
+  | ZipList of &#39;s seq
   member Item: n: int -&gt; &#39;s
   static member (+) : x: ZipList&lt;&#39;a&gt; * y: ZipList&lt;&#39;a&gt; -&gt; ZipList&lt;&#39;a&gt; (requires member ``+``)
   static member (&lt;*&gt;) : ZipList&lt;(&#39;a -&gt; &#39;b)&gt; * ZipList&lt;&#39;a&gt; -&gt; ZipList&lt;&#39;b&gt;
-  static member (&lt;|&gt;) : ZipList&lt;&#39;a1&gt; * ZipList&lt;&#39;a1&gt; -&gt; ZipList&lt;&#39;a1&gt;
+  static member (&lt;|&gt;) : ZipList&lt;&#39;a&gt; * ZipList&lt;&#39;a&gt; -&gt; ZipList&lt;&#39;a&gt;
   static member Return: x: &#39;a -&gt; ZipList&lt;&#39;a&gt;
-  static member ToSeq: ZipList&lt;&#39;a1&gt; -&gt; seq&lt;&#39;a1&gt;
-  static member Traverse: ZipList&lt;&#39;T&gt; * f: (&#39;T -&gt; &#39;Functor&lt;&#39;U&gt;) -&gt; &#39;Functor&lt;ZipList&lt;&#39;U&gt;&gt; (requires member ``&lt;*&gt;`` and member IsLeftZero and member Map and member Return and member Map and member Traverse and member Map)
-  static member get_Empty: unit -&gt; ZipList&lt;&#39;a1&gt;
+  static member ToSeq: ZipList&lt;&#39;a&gt; -&gt; &#39;a seq
+  static member Traverse: ZipList&lt;&#39;T&gt; * f: (&#39;T -&gt; &#39;Functor&lt;&#39;U&gt;) -&gt; &#39;Functor&lt;ZipList&lt;&#39;U&gt;&gt; (requires member Map and member ``&lt;*&gt;`` and member IsLeftZero and member Map and member Map and member Traverse and member Return and member Map)
+  static member get_Empty: unit -&gt; ZipList&lt;&#39;a&gt;
   static member Zero: unit -&gt; ZipList&lt;&#39;a&gt; (requires member Zero)<br /><em>&lt;summary&gt;
  A sequence with an Applicative functor based on zipping.
 &lt;/summary&gt;</em></div>
-<div class="fsdocs-tip" id="fs45">Multiple items<br />val seq: sequence: seq&lt;&#39;T&gt; -&gt; seq&lt;&#39;T&gt;<br /><br />--------------------<br />type seq&lt;&#39;T&gt; = System.Collections.Generic.IEnumerable&lt;&#39;T&gt;</div>
+<div class="fsdocs-tip" id="fs45">Multiple items<br />val seq: sequence: &#39;T seq -&gt; &#39;T seq<br /><br />--------------------<br />type &#39;T seq = System.Collections.Generic.IEnumerable&lt;&#39;T&gt;</div>
 <div class="fsdocs-tip" id="fs46">val tryDiv: x: int -&gt; y: int -&gt; int option</div>
 <div class="fsdocs-tip" id="fs47">val x: int</div>
 <div class="fsdocs-tip" id="fs48">val y: int</div>
@@ -428,7 +428,7 @@ <h2><a name="Recommended-reading" class="anchor" href="#Recommended-reading">Rec
 <div class="fsdocs-tip" id="fs74">val s: string</div>
 <div class="fsdocs-tip" id="fs75">val person4: Person option</div>
 <div class="fsdocs-tip" id="fs76">val applicative&lt;&#39;Applicative&lt;&#39;T&gt;&gt; : ApplicativeBuilder&lt;&#39;Applicative&lt;&#39;T&gt;&gt;<br /><em>&lt;summary&gt;
- Creates an applicative computation expression.
+ Creates a (sequential) applicative computation expression.
 &lt;/summary&gt;</em></div>
 <div class="fsdocs-tip" id="fs77">val name: string</div>
 <div class="fsdocs-tip" id="fs78">val age: int</div>
@@ -443,13 +443,14 @@ <h2><a name="Recommended-reading" class="anchor" href="#Recommended-reading">Rec
   static member ( *&gt; ) : x: &#39;FunctorF&lt;&#39;FunctorG&lt;&#39;T&gt;&gt; * y: &#39;FunctorF&lt;&#39;FunctorG&lt;&#39;U&gt;&gt; -&gt; &#39;FunctorF&lt;&#39;FunctorG&lt;&#39;U&gt;&gt; (requires member Map and member ``&lt;*&gt;``)
   static member (&lt;!&gt;) : f: (&#39;T -&gt; &#39;U) * x: &#39;FunctorF&lt;&#39;FunctorG&lt;&#39;T&gt;&gt; -&gt; Compose&lt;&#39;FunctorF&lt;&#39;FunctorG&lt;&#39;U&gt;&gt;&gt; (requires member Map and member Map)
   static member ( &lt;* ) : x: &#39;FunctorF&lt;&#39;FunctorG&lt;&#39;U&gt;&gt; * y: &#39;FunctorF&lt;&#39;FunctorG&lt;&#39;T&gt;&gt; -&gt; &#39;FunctorF&lt;&#39;FunctorG&lt;&#39;U&gt;&gt; (requires member ``&lt;*&gt;`` and member Map)
-  static member (&lt;*&gt;) : Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T-&gt;&#39;U&gt;&gt; * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; -&gt; Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;U&gt;&gt; (requires member Map and member ``&lt;*&gt;`` and member ``&lt;*&gt;``)
+  static member (&lt;*&gt;) : Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T -&gt; &#39;U&gt;&gt; * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; -&gt; Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;U&gt;&gt; (requires member Map and member ``&lt;*&gt;`` and member ``&lt;*&gt;``)
+  static member (&lt;.&gt;) : Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T -&gt; &#39;U&gt;&gt; * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; -&gt; Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;U&gt;&gt; (requires member Map and member ``&lt;.&gt;`` and member ``&lt;.&gt;``)
   static member (&lt;|&gt;) : Compose&lt;&#39;AlternativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; * Compose&lt;&#39;AlternativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; -&gt; Compose&lt;&#39;AlternativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; (requires member ``&lt;|&gt;``)
   static member Lift2: f: (&#39;T -&gt; &#39;U -&gt; &#39;V) * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;U&gt;&gt; -&gt; Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;V&gt;&gt; (requires member Lift2 and member Lift2)
   static member Lift3: f: (&#39;T -&gt; &#39;U -&gt; &#39;V -&gt; &#39;W) * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;U&gt;&gt; * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;V&gt;&gt; -&gt; Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;W&gt;&gt; (requires member Lift3 and member Lift3)
   static member Map: Compose&lt;&#39;FunctorF&lt;&#39;FunctorG&lt;&#39;T&gt;&gt;&gt; * f: (&#39;T -&gt; &#39;U) -&gt; Compose&lt;&#39;FunctorF&lt;&#39;FunctorG&lt;&#39;U&gt;&gt;&gt; (requires member Map and member Map)
-  static member Return: x: &#39;T -&gt; Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; (requires member Return and member Return)
-  static member get_Empty: unit -&gt; Compose&lt;&#39;AlternativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; (requires member Empty)<br /><em>&lt;summary&gt;
+  static member Map2: f: (&#39;T -&gt; &#39;U -&gt; &#39;V) * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;T&gt;&gt; * Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;U&gt;&gt; -&gt; Compose&lt;&#39;ApplicativeF&lt;&#39;ApplicativeG&lt;&#39;V&gt;&gt; (requires member Map2 and member Map2)
+  ...<br /><em>&lt;summary&gt;
  Right-to-left composition of functors. The composition of applicative functors is always applicative, but the composition of monads is not always a monad.
 &lt;/summary&gt;</em></div>
 <div class="fsdocs-tip" id="fs81">val getNameAsync: s: string list -&gt; Async&lt;string option&gt;</div>
@@ -458,12 +459,12 @@ <h2><a name="Recommended-reading" class="anchor" href="#Recommended-reading">Rec
 <div class="fsdocs-tip" id="fs84">val person5: Compose&lt;Async&lt;Person option&gt;&gt;</div>
 <div class="fsdocs-tip" id="fs85">val person6: Async&lt;Person option&gt;</div>
 <div class="fsdocs-tip" id="fs86">val applicative2&lt;&#39;Applicative1&lt;Applicative2&lt;&#39;T&gt;&gt;&gt; : ApplicativeBuilder2&lt;&#39;Applicative1&lt;Applicative2&lt;&#39;T&gt;&gt;&gt;<br /><em>&lt;summary&gt;
- Creates an applicative computation expression which compose effects of two Applicatives.
+ Creates a (sequential) applicative computation expression which compose effects of two Applicatives.
 &lt;/summary&gt;</em></div>
 <div class="fsdocs-tip" id="fs87">val printfn: format: Printf.TextWriterFormat&lt;&#39;T&gt; -&gt; &#39;T</div>
 <div class="fsdocs-tip" id="fs88">&#39;s</div>
-<div class="fsdocs-tip" id="fs89">Multiple items<br />union case MyList.MyList: seq&lt;&#39;s&gt; -&gt; MyList&lt;&#39;s&gt;<br /><br />--------------------<br />type MyList&lt;&#39;s&gt; =
-  | MyList of seq&lt;&#39;s&gt;
+<div class="fsdocs-tip" id="fs89">Multiple items<br />union case MyList.MyList: &#39;s seq -&gt; MyList&lt;&#39;s&gt;<br /><br />--------------------<br />type MyList&lt;&#39;s&gt; =
+  | MyList of &#39;s seq
   static member (&gt;&gt;=) : MyList&lt;&#39;T&gt; * f: (&#39;T -&gt; MyList&lt;&#39;a&gt;) -&gt; MyList&lt;&#39;a&gt;
   static member Return: x: &#39;a -&gt; MyList&lt;&#39;a&gt;</div>
 <div class="fsdocs-tip" id="fs90">val x: &#39;a</div>
@@ -481,12 +482,12 @@ <h2><a name="Recommended-reading" class="anchor" href="#Recommended-reading">Rec
 &lt;/summary&gt;</em><br /><br />--------------------<br />module Seq
 
 from Microsoft.FSharp.Collections</div>
-<div class="fsdocs-tip" id="fs93">val singleton: value: &#39;T -&gt; seq&lt;&#39;T&gt;</div>
-<div class="fsdocs-tip" id="fs94">val x: seq&lt;&#39;T&gt;</div>
+<div class="fsdocs-tip" id="fs93">val singleton: value: &#39;T -&gt; &#39;T seq</div>
+<div class="fsdocs-tip" id="fs94">val x: &#39;T seq</div>
 <div class="fsdocs-tip" id="fs95">&#39;T</div>
 <div class="fsdocs-tip" id="fs96">val f: (&#39;T -&gt; MyList&lt;&#39;a&gt;)</div>
-<div class="fsdocs-tip" id="fs97">val collect: mapping: (&#39;T -&gt; #seq&lt;&#39;U&gt;) -&gt; source: seq&lt;&#39;T&gt; -&gt; seq&lt;&#39;U&gt;</div>
-<div class="fsdocs-tip" id="fs98">val x: seq&lt;&#39;a&gt;</div>
+<div class="fsdocs-tip" id="fs97">val collect: mapping: (&#39;T -&gt; #(&#39;U seq)) -&gt; source: &#39;T seq -&gt; &#39;U seq</div>
+<div class="fsdocs-tip" id="fs98">val x: &#39;a seq</div>
 <div class="fsdocs-tip" id="fs99">val mappedMyList: MyList&lt;int&gt;</div>
 
         </div>

abstraction-bifoldable.html

@@ -240,7 +240,7 @@ <h2><a name="Examples" class="anchor" href="#Examples">Examples</a></h2>
 &lt;/summary&gt;</em><br /><br />--------------------<br />module Seq
 
 from Microsoft.FSharp.Collections</div>
-<div class="fsdocs-tip" id="fs8">val length: source: seq&lt;&#39;T&gt; -&gt; int</div>
+<div class="fsdocs-tip" id="fs8">val length: source: &#39;T seq -&gt; int</div>
 <div class="fsdocs-tip" id="fs9">val listMapTimes2: (int list -&gt; int list)</div>
 <div class="fsdocs-tip" id="fs10">val c1: Choice&lt;int list,string list&gt;</div>
 <div class="fsdocs-tip" id="fs11">Multiple items<br />module Choice
@@ -249,7 +249,7 @@ <h2><a name="Examples" class="anchor" href="#Examples">Examples</a></h2>
  Additional operations on Choice
 &lt;/summary&gt;</em><br /><br />--------------------<br />type Choice =
   inherit Default1
-  static member Choice: x: &#39;Foldable&lt;&#39;Alternative&lt;&#39;T&gt;&gt; ref * _mthd: Default4 -&gt; &#39;a1 (requires member ToSeq and member ``&lt;|&gt;`` and member IsAltLeftZero and member Empty) + 7 overloads
+  static member Choice: x: &#39;Foldable&lt;&#39;Alternative&lt;&#39;T&gt;&gt; ref * _mthd: Default4 -&gt; &#39;a (requires member ToSeq and member ``&lt;|&gt;`` and member IsAltLeftZero and member Empty) + 7 overloads
   static member Invoke: x: &#39;Foldable&lt;&#39;Alternative&lt;&#39;T&gt;&gt; -&gt; &#39;Alternative&lt;&#39;T&gt;&gt; (requires member Choice)<br /><br />--------------------<br />type Choice&lt;&#39;T1,&#39;T2&gt; =
   | Choice1Of2 of &#39;T1
   | Choice2Of2 of &#39;T2<br /><br />--------------------<br />type Choice&lt;&#39;T1,&#39;T2,&#39;T3&gt; =
@@ -308,8 +308,8 @@ <h2><a name="Examples" class="anchor" href="#Examples">Examples</a></h2>
 <div class="fsdocs-tip" id="fs28">type MyEither&lt;&#39;a,&#39;b&gt; =
   | MyLeft of &#39;a
   | MyRight of &#39;b
-  static member BifoldBack: x: MyEither&lt;&#39;a0,&#39;b1&gt; * f: (&#39;a0 -&gt; &#39;c -&gt; &#39;d) * g: (&#39;b1 -&gt; &#39;c -&gt; &#39;d) * z: &#39;c -&gt; &#39;d
-  static member BifoldMap: x: MyEither&lt;&#39;a0,&#39;b1&gt; * f: (&#39;a0 -&gt; &#39;c) * g: (&#39;b1 -&gt; &#39;c) -&gt; &#39;c</div>
+  static member BifoldBack&lt;&#39;a,&#39;b,&#39;c,&#39;d&gt; : x: MyEither&lt;&#39;a0,&#39;b1&gt; * f: (&#39;a0 -&gt; &#39;c -&gt; &#39;d) * g: (&#39;b1 -&gt; &#39;c -&gt; &#39;d) * z: &#39;c -&gt; &#39;d
+  static member BifoldMap&lt;&#39;a,&#39;b,&#39;c&gt; : x: MyEither&lt;&#39;a0,&#39;b1&gt; * f: (&#39;a0 -&gt; &#39;c) * g: (&#39;b1 -&gt; &#39;c) -&gt; &#39;c</div>
 <div class="fsdocs-tip" id="fs29">val f: (&#39;a -&gt; &#39;c)</div>
 <div class="fsdocs-tip" id="fs30">val g: (&#39;b -&gt; &#39;c)</div>
 <div class="fsdocs-tip" id="fs31">val a: &#39;a</div>