diff --git a/.gitignore b/.gitignore
index 445fcd31..09ca694c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,8 @@ editor-extensions/vscode/*.zip
 examples/*/node_modules
 examples/*/lib
 editor-extensions/vscode/node_modules
+
+# TODO: remove this after un-monadification
+*.cm*
+*.out
+temp.txt
diff --git a/src/ppx2/Ppx_Unmonads.re b/src/ppx2/Ppx_Unmonads.re
new file mode 100644
index 00000000..d19c6cac
--- /dev/null
+++ b/src/ppx2/Ppx_Unmonads.re
@@ -0,0 +1,138 @@
+
+/**
+Things I would like:
+
+// maybe this is overkill? also probably harder to parse
+switch%opt (somethingOptional) {
+| theContents =>
+};
+
+// so each non-wildcard branch is wrapped in `Some`. Is this too weird?
+switch%orNone (x) {
+  | each => case
+  | doesntNeed => toBe
+  | aSome => atTheEnd
+  | _ => None
+}
+
+Alsoooo I really want to be able to provide
+hover-for-explanation for %ppx extension points.
+How could I do that in a general way?
+
+Done!!! As long as the ppx drops a `[@ocaml.explanation "some text"]`
+somewhere, the `loc` of attribute's `loc(string)` bit will be used to
+show the hover text that is the context of the attribute.
+
+[@ocaml.explanation {|
+
+```
+let%opt name = value;
+otherStuff
+```
+is transformed into
+```
+switch (value) {
+  | None => None
+  | Some(name) =>
+    otherStuff
+}
+```
+This means that `otherStuff` needs to end with an optional.
+
+If you want `otherStuff` to be automatically wrapped in `Some()`,
+then use `let%opt_wrap`.
+Alternatively, if you are just performing a side effect, and want
+the result of the whole thing to be unit, use `let%consume`.
+|}]
+
+ */
+
+/***
+ * https://ocsigen.org/lwt/dev/api/Ppx_lwt
+ * https://github.com/zepalmer/ocaml-monadic
+ */
+
+let rec process_bindings = (bindings) =>
+  Parsetree.(
+    switch bindings {
+    | [] => assert false
+    | [binding] => (binding.pvb_pat, binding.pvb_expr)
+    | [binding, ...rest] =>
+      let (pattern, expr) = process_bindings(rest);
+      (
+        Ast_helper.Pat.tuple([binding.pvb_pat, pattern]),
+        [%expr Let_syntax.join2([%e binding.pvb_expr], [%e expr])]
+      )
+    }
+  );
+
+let opt_explanation = {|
+Optional declaration sugar:
+```
+let%opt name = value;
+otherStuff
+```
+is transformed into
+```
+switch (value) {
+| None => None
+| Some(name) =>
+  otherStuff
+}
+```
+This means that `otherStuff` needs to have type `option`.
+
+If you want `otherStuff` to be automatically wrapped in `Some()`,
+then use `let%opt_wrap`.
+Alternatively, if you are just performing a side effect, and want
+the result of the whole thing to be unit, use `let%consume`.
+|};
+
+
+let opt_consume_explanation = {|
+Optional declaration sugar:
+```
+let%consume name = value;
+otherStuff
+```
+is transformed into
+```
+switch (value) {
+| None => ()
+| Some(name) =>
+  otherStuff
+}
+```
+This is intented for performing side-effects only -- `otherStuff`
+must end up as type `unit`.
+|};
+
+let mapper =
+  Parsetree.{
+    ...Ast_mapper.default_mapper,
+    expr: (mapper, expr) =>
+      switch expr.pexp_desc {
+      | Pexp_extension(({txt: (
+        "opt" | "opt_consume"
+        | "try" | "try_wrap"
+        ) as txt, loc}, PStr([{pstr_desc: Pstr_eval({pexp_desc: Pexp_let(Nonrecursive, bindings, continuation)}, _attributes)}]))) => {
+        let (front, explanation) = switch (txt) {
+          | "opt" => ([%expr Monads.Option.bind], opt_explanation)
+          | "opt_consume" => ([%expr Monads.Option.consume], opt_consume_explanation)
+          | "try" => ([%expr Monads.Result.bind], "Sugar for the Result type")
+          | "try_wrap" => ([%expr Monads.Result.map], "Sugar for the Result type - auto-wraps in `Ok()`")
+          | _ => assert(false)
+        };
+        let (pat, expr) = process_bindings(bindings);
+        Ast_helper.Exp.attr(
+          [%expr [%e front]([%e mapper.expr(mapper, expr)], ~f=([%p pat]) => [%e mapper.expr(mapper, continuation)])],
+          ({txt: "ocaml.explanation", loc}, PStr([
+            Ast_helper.Str.eval(Ast_helper.Exp.constant(Pconst_string(explanation, None)))
+          ]))
+        )
+      }
+      | _ => Ast_mapper.default_mapper.expr(mapper, expr)
+      }
+  };
+
+let () = Ast_mapper.register("ppx_monads", (_) => mapper);
\ No newline at end of file
diff --git a/src/ppx2/dune b/src/ppx2/dune
new file mode 100644
index 00000000..fe847955
--- /dev/null
+++ b/src/ppx2/dune
@@ -0,0 +1,8 @@
+(executable
+  (name Ppx_Unmonads)
+  (public_name ppx_unmonads.exe)
+  (flags :standard -w -9)
+  (libraries compiler-libs ppx_tools_versioned)
+  (preprocess (pps ppx_tools_versioned.metaquot_406))
+  )
+
diff --git a/unmonad.sh b/unmonad.sh
new file mode 100755
index 00000000..4d93d6b6
--- /dev/null
+++ b/unmonad.sh
@@ -0,0 +1,3 @@
+file=BuildSystem
+ocamlc -dsource -ppx _build/default/src/ppx2/Ppx_Unmonads.exe -pp "refmt --parse re --print binary" -I src -impl src/rescript-editor-support/$file.re &> ./temp.txt
+# refmt --parse ml --print re ./temp.txt &> src/rescript-editor-support/$file.re