It is a sequence. Step 1: find something. Step 2: if it is found, do something with it, and optionally find another thing based on that result. Sounds like pro

It is a sequence. Step 1: find something. Step 2: if it is found, do something with it, and optionally find another thing based on that result. Sounds like programmable semicolon, or a monad, to me.