Now Error is no more assumed to be always of type ...
# result
y
Now Error is no more assumed to be always of type exception. I think that there are use cases where this is necessary