pub type ExecutionResult<'a> = BoxFuture<'a, Result<()>>;
Result of executing a TST
struct ExecutionResult<'a> {}