anchor.diff:  [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
   module ProtectedState =
       //
  -    [<CompiledName("Bind")>]
  -    let inline bind k m =
  -        fun state ->
  -        match m state with
  -        | Choice2Of2 error ->
  -            Choice2Of2 error
  -        | Choice1Of2 (value, state) ->
  -            k value state
  -
  -    //
       [<CompiledName("LiftState")>]
  -    let inline liftState (stateFunc : StateFunc<'State, 'T>) : ProtectedStateFunc<'State, 'T, 'Error> =
  +    let inline liftState (stateFunc : StateFunc<'State, 'T>)
  +        : ProtectedStateFunc<'State, 'T, 'Error> =
           stateFunc >> Choice1Of2
   
       //
  -    [<CompiledName("LiftEither")>]
  -    let inline liftEither (valueOrError : Choice<'T, 'Error>) =
  -        match valueOrError with
  +    [<CompiledName("LiftChoice")>]
  +    let inline liftChoice (choice : Choice<'T, 'Error>)
  +        : ProtectedStateFunc<'State, 'T, 'Error> =
  +        match choice with
           | Choice2Of2 error ->
               fun _ -> Choice2Of2 error
           | Choice1Of2 value ->
  
positive.code:     let inline setState (state : 'State) =
          fun (_ : 'State) -> ((), state)
  
      //
      [<CompiledName("BindChoice")>]
      let inline bindChoice (k : 'T -> StateFunc<'State, 'U>) (m : ProtectedStateFunc<_,_,_>) =
          fun state ->
  
negative.code: module Choice =
      //
      [<CompiledName("BindOrRaise")>]
      let inline bindOrRaise (x : Choice<'T, #exn>) : 'T =
          match x with
          | Choice2Of2 e ->
              raise e
  