bind.ml

let example a = match a with 1 | 2 | 3 -> Ok a | _ -> Error "ohno"

let test =
  (* this only works cuz of >>=, |> woudln't work here:
     we would end up with a 
     `a result result result result`
     instead of a 
     `a result`*)
  1 |> example >>= example >>= example >>= example