semantic
semantic copied to clipboard
Use precise error types rather than `Error SomeException`
The use of Error SomeException
is, in my estimation, an antipattern. It makes it too difficult to have fine-grained, principled extension boundaries. We should only use Error
on recoverable exceptions, and we should use throwIO
or a Fatal
effect to throw uncatchable errors.