Exceptions which are explicit in the type signature.