anchor.diff:      let inline pair (x, y) =
           (Choice1Of2 x, Choice1Of2 y)
   
  -    let attempt f = 
  +    let attempt f : Choice<'T, exn> = 
           try
               Choice1Of2 <| f()
           with Failure _ as e ->
               Choice2Of2 e      
   
  -    let fill defaultResult value =
  +    let fill defaultResult (value : Choice<'T, 'Error>) =
           match value with
           | Choice1Of2 result -> result
           | Choice2Of2 _ -> defaultResult
  
positive.code:     (* These functions are fairly specific to this project,
         and so probably won't be included in ExtCore. *)
  
      let inline nestedFailwith innerException message =
          Choice2Of2 <| exn (message, innerException)
  
      let inline fail () =
          failwith ""
  
      let inline failwithPair s =
  
negative.code:     (* Functions which will be included in a future version of ExtCore. *)
  
      //[<Obsolete("This function is deprecated. Uses of it should be replaced with ExtCore.Choice.result.")>]
      let inline succeed x : Choice<'T, 'Error> =
          Choice1Of2 x
  
      /// If Choice is 1Of2, return its value; otherwise, throw ArgumentException.
      //[<Obsolete("This function is deprecated. Uses of it should be replaced with ExtCore.Control.Choice.bindOrRaise.")>]
      let get (value : Choice<'T, exn>) =
          match value with
          | Choice1Of2 a -> a
          | Choice2Of2 e ->
              // NOTE: This is a more specialized version of get to deal with Exception
              raise e
  
      // [<Obsolete("This function is deprecated. Uses of it should be replaced with ExtCore.Choice.failwith.")>]
      let inline failwith msg : Choice<'T, exn> =
          Choice2Of2 <| exn msg
  
      /// Convert choice to option where Choice2Of2 is interpreted as None.
      // NOTE : This function is included in ExtCore 0.8.32 and can be removed
      // once we update to that version (or newer).
      let toOption (value : Choice<'T, 'Error>) =
          match value with
          | Choice1Of2 result -> Some result
          | Choice2Of2 _ -> None
  