Module Option.MonadSource

Monadic let* allows to replace

 Option.bind e (fun x => ...) 

or

  match e with
  | None -> None
  | Some x -> ...

with

  let* x = e in
  ...