Railway

rop.fs

type Result<'TOk,'TError> =
  | Ok of 'TOk
  | Error of 'TError

let bind fn =
  function
  | Ok r -> fn r
  | Error e -> Error e
  
let (>>=) x fn =
  bind fn x
  
let test1 x =
  Ok x

let test2 x =
  if x <> 0 then Ok x else Error x
  
let test3 x =
  if x <> 1 then Ok x else Error x
  
let result = 0 |> test1 >>= test2 >>= test3 // will never get to test3