The author is excited that functions have their inverses by default, I think. Analogous construct in Python would be somethoug like:

  with_under do_something() as f:
    ...

translated to

  f = do_something()
  ...
  f.undo_something()

With do_something automatically matched to undo_something.