This looks to be another name for 'eta expansion/reduction', if you're searching for prior art in other languages.

Also supported in the latest babashka!