Aren't checked exceptions the same as effect systems in the narrow case of error handling?