I think this could be a good addition on top of what we have about the `expect` RFCs (https://github.com/QuEraComputing/bloqade/issues/221).