Q: Branded Types for Errorhandling

[sschneider-ihre-pvs]

Is there any good example for introducing kind of like Options for errorhandling where you always have to provide the possible errors ? Or do the errors or onErrror support that in a way?
I was thinking in terms like this https://effect.website/docs/guides/error-management