A ppx rewriter for monadic and applicative let bindings, match expressions, and if expressions.