Early return vs non-early return CE

early-return.fs

type NoEarlyReturn() =
  member _.Return x = [x]
  member _.Combine (x, y) = x @ y
  member _.Delay f = f()

let wtf = NoEarlyReturn()

wtf {
  return 1
  return 2
}
|> printfn "%A" // [1,2]

type EarlyReturn() =
  member _.Return x = Some [x]
  member _.Combine (x, y) = Option.orElseWith y x
  member _.Delay f = f
  member _.Zero() = None
  member _.Run f = Option.defaultValue [] (f())

let omg = EarlyReturn()

omg {
  if true then
    return 1
  return 2
  return 3
}
|> printfn "%A" // [1]

omg {
  if false then
    return 1
  return 2
  return 3
}
|> printfn "%A" // [2]