Monad computation does not work with TryWith as expected when used with Result

Description

My logic here is that computation expressions should not deviate from universal concepts as that would surprise and confuse users. A try...with operation should always handle exceptions and not propagate them (in other words it should behave similarly to the try...with expression outside of a computation expression).

The monad.strict works as expected in this case, but monad does not.

Repro steps

let r : Result<unit, Exception> = monad {
    try
        failwith "oops"
        return ()
    with exn -> return! Error exn
}

Expected behavior

Error

Actual behavior

Exception

[wallymathieu]

Seems unintentional.

[gusty]

Reopening the issue as I think it could be fixed independently without a whole redesign.

See #347

If you try your code with this fix, you’ll get a compilation error with a message explaining exactly what to do.