"Break early" from monad CE

I have a result CE in Cvdm.ErrorHandling for monadic error handling. For the example below, sideEffect1 and sideEffect2 are never invoked, since do! binds an error (I think also Delay is involved, but I don’t have a clear grasp of CE builders).

let _ = result {
  if true then
    do! Error err
    sideEffect1 ()
  sideEffect2 ()
}

However, if I replace result with monad (or monad.fx or others, I’ve tried them all), the side effects are invoked.

Is it possible to get my desired behavior using a generic CE from FSharpPlus?

[gusty]

Sure, in short:

1-2 It’s an early termination monadically speaking, I mean, no value will be returned afterwards, but side effects might still occur.

3-4 Async is definitely an fx monad

[gusty]

@cmeeren some stuff on monad transformers in F# in SO https://stackoverflow.com/questions/tagged/f%23+monad-transformers