anchor.diff:          | Choice2Of2 error ->
               error
   
  -    /// Creates a Choice from a result value.
  +    /// <summary>Creates a Choice from a result value.</summary>
  +    /// <param name="value"></param>
  +    /// <returns></returns>
       [<CompiledName("Result")>]
       let inline result value : Choice<'T, 'Error> =
           Choice1Of2 value
   
  -    /// Creates a Choice from an error value.
  +    /// <summary>Creates a Choice from an error value.</summary>
  +    /// <param name="value"></param>
  +    /// <returns></returns>
       [<CompiledName("Error")>]
       let inline error value : Choice<'T, 'Error> =
           Choice2Of2 value
   
  -    /// Creates a Choice representing an error value.
  -    /// The error value in the Choice is the specified error message.
  +    /// <summary>
  +    /// Creates a Choice representing an error value. The error value in the Choice is the specified error message.
  +    /// </summary>
  +    /// <param name="message">The error message.</param>
  +    /// <returns></returns>
       [<CompiledName("FailWith")>]
  -    let inline failwith errorMsg : Choice<'T, string> =
  -        Choice2Of2 errorMsg
  -
  -    /// Creates a Choice representing an error value.
  -    /// The error value in the Choice is the specified formatted error message.
  +    let inline failwith message : Choice<'T, string> =
  +        Choice2Of2 message
  +
  +    /// <summary>
  +    /// Creates a Choice representing an error value. The error value in the Choice is the specified formatted error message.
  +    /// </summary>
  +    /// <param name="format"></param>
  +    /// <returns></returns>
       [<CompiledName("PrintFormatToStringThenFail")>]
  -    let inline failwithf (fmt : Printf.StringFormat<'T, Choice<'U, string>>) =
  -        Printf.ksprintf failwith fmt
  -
  -    //
  +    let inline failwithf (format : Printf.StringFormat<'T, Choice<'U, string>>) =
  +        Printf.ksprintf failwith format
  +
  +    /// <summary></summary>
  +    /// <param name="value"></param>
  +    /// <returns></returns>
       [<CompiledName("OfOption")>]
       let ofOption (value : 'T option) : Choice<'T, unit> =
           match value with
  
positive.code:         | None ->
              Choice2Of2 errorValue
  
      //
      [<CompiledName("ToOption")>]
      let toOption (value : Choice<'T, 'Error>) : 'T option =
          match value with
  
negative.code: 
      /// <summary>
      /// Applies the specified value to a function which can possibly return an error message.
      /// If the function returns an error message, it is used to invoke <see cref="Debug.Fail"/>; otherwise, the value is returned unchanged.
      /// This function is designed for implementing debugging assertions within a computation 'pipeline'.
      /// </summary>
      [<CompiledName("TapAssert")>]
      let tapAssert (asserter : 'T -> string option) (value : 'T) : 'T =
  