Related to Monads are F# computation expressions
(CE). A programmer typically implements a CE to provide an alternative approach to chaining Monads,
ie instead of this:
let v = m >>= fun x -> n >>= fun y -> return_ (x, y)
You can write this:
let v = ce {
let! x = m
...
