Result.fs

namespace Rop
                    
type Result<'TSuccess, 'TFailure> =
    | Success of 'TSuccess
    | Failure of 'TFailure
        
module Result = 
      
    let map f x = 
        match x with 
        | Success s -> s |> f |> Success
        | Failure y -> y      |> Failure
        
    let bind f x = 
        match x with
        | Success s -> s |> f
        | Failure y -> y |> Failure