anchor.diff:          | Choice2Of2 error ->
               Choice2Of2 (mapping error)
   
  -    //
  +    /// Applies the specified binding function to a choice value representing a result value
  +    /// (Choice1Of2). If the choice value represents an error value (Choice2Of2), the error value
  +    /// is passed through without modification.
       [<CompiledName("Bind")>]
       let bind (binding : 'T -> Choice<'U, 'Error>) value =
           match value with
  
positive.code:         | Some x ->
              if predicate x then Some x else None
  
      //
      [<CompiledName("Bind2")>]
      let bind2 (binder : 'T1 -> 'T2 -> 'U option) value1 value2 =
          match value1, value2 with
  
negative.code:     let inline conditional cond value =
          if cond then Some value else None
  
      /// Applies a predicate function to the given value, returning <c>Some(value)</c>
      /// when the predicate returns 'true' and <c>None</c> otherwise.
      [<CompiledName("Condition")>]
      let condition (predicate : 'T -> bool) value =
          if predicate value then Some value else None
  
      /// <summary>
      /// Chains two option values together.
      /// If the first value is Some, it is returned; otherwise, the second value is returned.
      /// </summary>
      /// <remarks>
      /// Similar to the (??) operator in C#.
      /// </remarks>
      [<CompiledName("Coalesce")>]
      let inline coalesce (x : 'T option) (y : 'T option) =
          match x with
  