printfn "Hello World"

​

type Result<'TSucces, 'TFailure> =

    | Succes of 'TSucces

    | Failure of 'TFailure

    static member Bind action (result: Result<'TSuc, 'TFail>) =

        match result with

        |Succes (s: 'TSuc) -> action s

        |Failure (f: 'TFail) -> Failure f

    static member Switch (result: Result<'TSuc, 'TFail>) =

        match result with

        |Succes (s: 'TSuc) -> s

        |Failure (f: 'TFail) -> f    

let f x =

    Failure "-1"

let g x =

    Succes x

let h x =

    Failure "-2"

f 5 |> Result.Bind(h) |> Result.Switch |> printfn "%A" 

g 5 |> Result.Bind(g) |> Result.Switch |> printfn "%A" 

f 5 |> Result.Bind(g) |> Result.Switch |> printfn "%A" 

g 5 |> Result.Bind(h) |> Result.Switch |> printfn "%A" 

​

​