Type test: Saner testing of exceptions API.