F#+ generic computation expressions and Nested Monads

Hello!! First of All Thanks for this Beautiful library. I m new to FP so forgive me if i’m not writing idiomatic code. I m trying to wrap my head around F#+ generic computation expressions.

this is my understanding: U don’t need to create computation expressions for each monad, u can use generic computation expressions for all cases.

from Option to Async , but what about Async<Result<,>> ? does F#+ generic computation expressions will work with nested monads ?

this is sample code I’m trying to work with but I’m getting following error

his expression was expected to have type ‘Result<string,string>’
but here has type ‘string’

 let p():Async<Result<string, string>> = async { return Error ""}

    let m():Async<Result<string, string>> = monad{
        let! (e:string) = p() //This expression was expected to have type 'Result<string,string>'     but here has type 'string' 
        return e
    }

[wilsoncg]

@aammfe see if you find this video useful:

F# Online - Josef Starýchfojtů - FSharpPlus - Advanced FP concepts in F# https://www.youtube.com/watch?v=pxJCHJgG8ws

[wallymathieu]

so all routes to learn FP goes through haskell ?

The abstractions have been implemented first in Haskell (as far as I know). There is a lot of fertile ground when it comes to functional programming and lisps. Prolog and logic programming should also be an interesting route.