I don't think we can constrain it that tightly.  For the tests in this file which use `expected-shutdown-reason?`, the `Type` being validated is `IllegalStateException` (more specific than just `Exception`) -- because that is the `Type` of the exception that the framework throws for these cases.