
[BOR]
0: Safe
1: Post only links to articles, Title must fairly describe link contents. If your title differs from the site’s, it should only be to add context or be more descriptive.
2: Articles must be relevant to politics. Links must be to quality and original content. Articles should be worth reading. Clickbait, stub articles, and rehosted or stolen content are not allowed.
3: Be civil, No violations of [TOS](https://mastodon.world/about).
4: No memes, trolling, or low-effort comments.
5: Vote based on comment quality, not agreement. This community aims to foster discussion; please reward people for putting effort into articulating their viewpoint, even if you disagree with it.
6: No hate speech, slurs, celebrating death, advocating violence, or abusive language. This will result in a ban.

[EOR]
[BOC]
&gt; Okay, let me try again: I'll use an extra Maybe in order to account for the fact that some steps may not return a value, but I won't incorporate it into my monad stack because I don't want those steps to abort my entire computation.

Right, this should work.

&gt; I did notice that you implemented fatal errors

No, that's not what I meant. `fatal` is what it is: a way to convert from `SmartValidation` to `Either`. It's called so because Either's semantics wrt lefts is "fatal", compared to the "non-fatal" semantics of SmartValidation.
[EOC]

0: Safe