anchor.diff:                  handler ex state cont
   
       // M<'T> -> M<'T> -> M<'T>
  -    member __.TryFinally (body : ProtectedStateContinuationFunc<_,_,_,_,_>, handler)
  +    member inline __.TryFinally (body : ProtectedStateContinuationFunc<_,_,_,_,_>, handler)
           : ProtectedStateContinuationFunc<'S1, 'S2, 'T, 'Error, 'K> =
           fun state cont ->
               try body state cont
  
positive.code:                     body enum.Current)))
  
  
  //
  [<Sealed>]
  type StatefulChoiceBuilder () =
      // 'T -> M<'T>
  
negative.code:                     body enum.Current)))
  
  
  /// <summary>
  /// </summary>
  [<Sealed>]
  type ChoiceContinuationBuilder () =
      // 'T -> M<'T>
      member inline __.Return value
          : ChoiceContinuationFunc<'T, 'Error, 'K> =
          fun cont ->
              cont (Choice1Of2 value)
  
      // M<'T> -> M<'T>
      member inline __.ReturnFrom func
          : ChoiceContinuationFunc<'T, 'Error, 'K> =
          func
  
      // unit -> M<'T>
      member inline __.Zero ()
          : ChoiceContinuationFunc<unit, 'Error, 'K> =
          fun cont ->
              cont (Choice1Of2 ())
  
      // (unit -> M<'T>) -> M<'T>
      member __.Delay f
          : ChoiceContinuationFunc<'T, 'Error, 'K> =
          f ()
  
      // M<'T> * ('T -> M<'U>) -> M<'U>
      member inline __.Bind (m : ChoiceContinuationFunc<_,_,_>, k : 'T -> ChoiceContinuationFunc<_,_,_>)
          : ChoiceContinuationFunc<'U, 'Error, 'K> =
          fun cont ->
              m <| fun result ->
  