anchor.diff:      let inline setState (state : 'State) =
           fun (_ : 'State) -> ((), state)
   
  -    //
  +    /// Adapts a ProtectedState function for use within a State workflow.
  +    /// If the ProtectedState function returns an exception instance when executed,
  +    /// the exception will be raised rather than being passed into the State workflow.
       [<CompiledName("BindChoice")>]
       let inline bindChoice (k : 'T -> StateFunc<'State, 'U>) (m : ProtectedStateFunc<_,_,_>) =
           fun state ->
  
positive.code: 
      //
      [<CompiledName("BindOrFail")>]
      let inline bindOrFail (x : Choice<'T, string>) =
          match x with
          | Choice1Of2 r -> r
          | Choice2Of2 msg ->
  
negative.code:         (Choice1Of2 value), state
  
      //
      let private bind k m =
          fun state ->
          match m state with
  