Understanding the type signature of `testProgram` in Effect Typescript - Effect Community