anchor.diff:                          body enum.Current))))
   
   
  -//
  +/// <summary>
  +/// </summary>
  +/// <typeparam name="writer"></typeparam>
   [<Sealed>]
   type WriterBuilder<'Writer
       when 'Writer :> IWriter<'Writer>
       and 'Writer : (new : unit -> 'Writer)> (writer : 'Writer) =
       // 'T -> M<'T>
  -    member __.Return value
  +    member inline __.Return value
           : 'T * 'Writer =
           value, writer
   
       // M<'T> -> M<'T>
  -    member __.ReturnFrom writer
  +    member inline __.ReturnFrom writer
           : 'T * 'Writer =
           writer
   
       // unit -> M<'T>
  -    member __.Zero ()
  +    member inline __.Zero ()
           : unit * 'Writer =
           (), writer
   
  +    // (unit -> M<'T>) -> M<'T>
  +    member __.Delay f
  +        : 'T * 'Writer =
  +        f ()
  +
       // M<'T> * ('T -> M<'U>) -> M<'U>
  -    member __.Bind (m : 'T * 'Writer, k : 'T -> 'U * 'Writer)
  +    member inline __.Bind (m : 'T * 'Writer, k : 'T -> 'U * 'Writer)
           : 'U * 'Writer =
           let value, writer1 = m
           let result, writer2 = k value
           result, writer.Combine (writer1, writer2)
   
  -    // (unit -> M<'T>) -> M<'T>
  -    member __.Delay f
  -        : 'T * 'Writer =
  -        f ()
  -
       // M<'T> -> M<'T> -> M<'T>
       // or
       // M<unit> -> M<'T> -> M<'T>
  -    member __.Combine (r1 : unit * _, r2)
  +    member inline __.Combine (r1 : unit * _, r2)
           : 'T * 'Writer =
           let writer1 = snd r1
           let result, writer2 = r2
  
positive.code:                 handler ex cont
  
      // M<'T> -> M<'T> -> M<'T>
      member __.TryFinally (body : ChoiceContinuationFunc<_,_,_>, handler)
          : ChoiceContinuationFunc<'T, 'Error, 'K> =
          fun cont ->
              try body cont
  
negative.code:                 handler ex state cont
  
      // M<'T> -> M<'T> -> M<'T>
      member inline __.TryFinally (body : StateContinuationFunc<_,_,_,_>, handler)
          : StateContinuationFunc<_,_,_,_> =
          fun state cont ->
              try body state cont
  