anchor.diff:          | Choice2Of2 _ ->
               invalidArg "value" "Cannot get the result because the Choice`2 instance is an error value."
   
  -    /// Gets the error value associated with the Choice.
  +    /// <summary>Gets the error value associated with the Choice.</summary>
  +    /// <param name="value"></param>
  +    /// <returns></returns>
       [<CompiledName("GetError")>]
       let getError (value : Choice<'T, 'Error>) =
           match value with
  
positive.code:         | None ->
              Choice2Of2 ()
  
      //
      // TODO :   Rename this to 'ofOptionDefault' or similar. The "With" suffix should be reserved for
      //          higher-order functions. 
      [<CompiledName("OfOptionWith")>]
      let ofOptionWith (errorValue : 'Error) (value : 'T option) : Choice<'T, 'Error> =
          match value with
  
negative.code:         else
              lazy (mapping (lazyValue1.Force ()) (lazyValue2.Force ()))
  
      /// <summary>Transforms three (3) lazily-initialized values by applying them to the given mapping function.
      /// <param name="mapping"></param>
      /// <param name="lazyValue1"></param>
      /// <param name="lazyValue2"></param>
      /// <param name="lazyValue3"></param>
      /// <returns></returns>
      [<CompiledName("Map3")>]
      let map3 (mapping : 'T1 -> 'T2 -> 'T3 -> 'U) (lazyValue1 : Lazy<'T1>) (lazyValue2 : Lazy<'T2>) (lazyValue3 : Lazy<'T3>) : Lazy<'U> =
          // Preconditions
  