Question: What is the name of this monad-like functional programming pattern?