I've just published draft #2 of SRFI 165.  It was submitted by
Marc Nieper-Wißkirchen, author of the SRFI.

<https://srfi.schemers.org/srfi-165/>

Here are Marc's comments on the draft:

  The following changes have been incorporated since the first
  draft:

  - The return procedure is now named pure.
  - The sequence procedure is now named each as in SRFI 159/166.
  - each-in-list added for use in SRFI 159/166.
  - bind/forked added; it is like bind but the first argument is
  executed in a copy of the environment.
  - sequence newly added, which maps a list of monadic values into
  a monadic list of values.
  - The exported identifiers are now prefixed with computation-.
  - The section of predefined environment variables has been made
  clearer.
  - Mentioning of SRFI 166.
  - computation-fn now compatible with SRFI 166.
  - Fast-access environment variables can now be predefined using
  define-computation-type.
  - computation-environment-update can now update more than one
  variable at once.
  - Environment variables can now take default values (for
  compatibility with SRFI 166) and can be marked immutable.

Here's the diff:

  <https://github.com/scheme-requests-for-implementation/srfi-165/compare/079085b2d9ee3718dbc0774980cbbcea248fd59a...a22dd0046e4c4348ab8e01313f124244b9c204e8>

Regards,

SRFI Editor