anchor.diff:          else
               lazy (mapping (lazyValue1.Force ()) (lazyValue2.Force ()) (lazyValue3.Force ()))
   
  -    //
  +    /// <summary></summary>
  +    /// <param name="binding"></param>
  +    /// <param name="lazyValue"></param>
  +    /// <returns></returns>
       [<CompiledName("Bind")>]
       let bind (binding : 'T -> Lazy<'U>) (lazyValue : Lazy<'T>) : Lazy<'U> =
           // Preconditions
  
positive.code: open System.Collections.Generic
  
  
  /// Represents an object whose underlying type is a value type
  /// that can also be assigned null like a reference type.
  type nullable<'T when 'T : struct and 'T : (new : unit -> 'T) and 'T :> System.ValueType> = System.Nullable<'T>
  
  /// Represents a generic collection of key/value pairs.
  type dict<'Key, 'Value> = System.Collections.Generic.IDictionary<'Key, 'Value>
  
  /// A value whose computation has been 'protected' by capturing any raised exception.
  type Protected<'T> = Choice<'T, exn>
  
  /// <summary>
  
negative.code:         | Choice2Of2 _ ->
              None
  
      /// <summary></summary>
      /// <param name="value"></param>
      /// <returns></returns>
      [<CompiledName("ToChoice")>]
      let toChoice (value : 'T option) : Choice<'T, unit> =
          match value with
  