package yocaml

let+ x = e in f x is f <$> x

let+ x = e and+ y = f in g x y is g <$> e <*> f.

let* x = e in f x is e >>= f.