anchor.diff:      //
       [<CompiledName("StatefulChoice")>]
       let statefulChoice = StatefulChoiceBuilder ()
  -
  +    //
  +    [<CompiledName("AsyncState")>]
  +    let asyncState = AsyncStateBuilder ()
  +    //
  +    [<CompiledName("AsyncMaybe")>]
  +    let asyncMaybe = AsyncMaybeBuilder ()
  +    //
  +    [<CompiledName("AsyncChoice")>]
  +    let asyncChoice = AsyncChoiceBuilder ()
  +    //
  +    [<CompiledName("AsyncProtectedState")>]
  +    let asyncProtectedState = AsyncProtectedStateBuilder ()
   
   
   (*** Workflow helper modules ***)
  
positive.code:     // 'T -> M<'T>
      member __.Return value
          : ReaderProtectedStateFunc<'Env, 'State, 'T, 'Error> =
          fun env state ->
          Choice1Of2 (value, state)
  
      // M<'T> -> M<'T>
  
negative.code:     // 'T -> M<'T>
      member __.Return value
          : ReaderStateFunc<'Env, 'State, 'T> =
          fun _ state ->
          value, state
  
      // M<'T> -> M<'T>
  