Fixed type annotations on exception-raising functions -- their return type should unify with any type.