[scott_s]

In some existing languages, yes. But it’s easy to imagine future languages (including future versions of current languages) that disallow creating nurseries outside of a function scope.

[jeremiep]

At this point you're pretty much reinventing Monads.