anchor.diff:  
       //
       [<CompiledName("GetState")>]
  -    let inline getState (env : 'Env) (state : 'State) =
  +    let inline getState (_ : 'Env) (state : 'State) =
           state, state
   
       //
  
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>
  