Module Qcheck_extra.MonadSource

Monad extends the Applicative type class with a new function join. join takes a value in a nested context a t t and joins them together so that we have a single context a t.

We can define let* in terms of join and vice versa:

let ( let* ) x f = join (map f x)
let join x =
  let* y = x in
  y

assuming

( let* ) = bind .

A Monad should satisfy:

• Associativity: (f >=> g) >=> h = f >=> (g >=> h)
• Identities: return >=> f = f = f >=> return

assuming

( let* ) = bind .

and

 f >=> g =
  fun x ->
    let* y = f x in
    let* z = g y in
    return z