@explorable-viz/fluid 0.11.4 → 0.12.2

package/dist/fluid/shared/fluid.mjs

@@ -227,7 +227,6 @@ var showArrayImpl = function(f) {
 };
 
 // output-es/Data.Show/index.js
-var showUnit = { show: (v) => "unit" };
 var showString = { show: showStringImpl };
 var showInt = { show: showIntImpl };
 
@@ -2414,10 +2413,6 @@ var showList = (dictShow) => {
     }
   };
 };
-var showNonEmptyList = (dictShow) => {
-  const $0 = showList(dictShow);
-  return { show: (v) => "(NonEmptyList (NonEmpty " + dictShow.show(v._1) + " " + $0.show(v._2) + "))" };
-};
 var traversableList = {
   traverse: (dictApplicative) => {
     const Apply0 = dictApplicative.Apply0();
@@ -7746,6 +7741,12 @@ var spyWhen = (v) => (v1) => (v2) => (v3) => {
 };
 var spyFunWhenM = (dictFunctor) => (b) => (s) => (showIn) => (showOut) => (f) => (x) => dictFunctor.map(spyWhen(b)(s + " output")(showOut))(f(spyWhen(b)(s + " input")(showIn)(x)));
 var spyFunWhen = (b) => (s) => (showIn) => (showOut) => (f) => spyFunWhenM(functorIdentity)(b)(s)(showIn)(showOut)((x) => f(x));
+var traceWhen = (dictApplicative) => (v) => (v1) => {
+  if (v) {
+    return _trace(v1, (v2) => dictApplicative.pure());
+  }
+  return dictApplicative.pure();
+};
 var check = (dictMonadThrow) => (v) => {
   if (!v) {
     return $$throw(dictMonadThrow);
@@ -8358,7 +8359,6 @@ var Dictionary = (value0) => (value1) => $Expr("Dictionary", value0, value1);
 var Constr = (value0) => (value1) => (value2) => $Expr("Constr", value0, value1, value2);
 var Matrix = (value0) => (value1) => (value2) => (value3) => $Expr("Matrix", value0, value1, value2, value3);
 var Lambda = (value0) => (value1) => $Expr("Lambda", value0, value1);
-var Project = (value0) => (value1) => $Expr("Project", value0, value1);
 var DProject = (value0) => (value1) => $Expr("DProject", value0, value1);
 var App2 = (value0) => (value1) => $Expr("App", value0, value1);
 var Let = (value0) => (value1) => $Expr("Let", value0, value1);
@@ -8405,9 +8405,6 @@ var verticesExprVertex = {
     if (v.tag === "Lambda") {
       return union3($$$Map("Node", 1, 1, $Tuple(v._1, pack1(v)), void 0, Leaf2, Leaf2))(verticesElimVertex.vertices(v._2));
     }
-    if (v.tag === "Project") {
-      return verticesExprVertex.vertices(v._1);
-    }
     if (v.tag === "DProject") {
       return union3(verticesExprVertex.vertices(v._1))(verticesExprVertex.vertices(v._2));
     }
@@ -8500,9 +8497,6 @@ var functorExpr = {
     if (m.tag === "Lambda") {
       return $Expr("Lambda", f(m._1), functorElim.map(f)(m._2));
     }
-    if (m.tag === "Project") {
-      return $Expr("Project", functorExpr.map(f)(m._1), m._2);
-    }
     if (m.tag === "DProject") {
       return $Expr("DProject", functorExpr.map(f)(m._1), functorExpr.map(f)(m._2));
     }
@@ -8646,9 +8640,6 @@ var foldableExpr = {
     if (m.tag === "Lambda") {
       return foldableElim.foldl(f)(f(z)(m._1))(m._2);
     }
-    if (m.tag === "Project") {
-      return foldableExpr.foldl(f)(z)(m._1);
-    }
     if (m.tag === "DProject") {
       return foldableExpr.foldl(f)(foldableExpr.foldl(f)(z)(m._1))(m._2);
     }
@@ -8701,9 +8692,6 @@ var foldableExpr = {
     if (m.tag === "Lambda") {
       return f(m._1)(foldableElim.foldr(f)(z)(m._2));
     }
-    if (m.tag === "Project") {
-      return foldableExpr.foldr(f)(z)(m._1);
-    }
     if (m.tag === "DProject") {
       return foldableExpr.foldr(f)(foldableExpr.foldr(f)(z)(m._2))(m._1);
     }
@@ -8753,9 +8741,6 @@ var foldableExpr = {
       if (m.tag === "Lambda") {
         return $0.append(f(m._1))(foldableElim.foldMap(dictMonoid)(f)(m._2));
       }
-      if (m.tag === "Project") {
-        return foldableExpr.foldMap(dictMonoid)(f)(m._1);
-      }
       if (m.tag === "DProject") {
         return $0.append(foldableExpr.foldMap(dictMonoid)(f)(m._1))(foldableExpr.foldMap(dictMonoid)(f)(m._2));
       }
@@ -8906,10 +8891,6 @@ var traversableExpr = {
       if (m.tag === "Lambda") {
         return Apply0.apply($0.map((v2) => (v3) => $Expr("Lambda", v2, v3))(f(m._1)))(traversableElim.traverse(dictApplicative)(f)(m._2));
       }
-      if (m.tag === "Project") {
-        const $1 = m._2;
-        return $0.map((v2) => $Expr("Project", v2, $1))(traversableExpr.traverse(dictApplicative)(f)(m._1));
-      }
       if (m.tag === "DProject") {
         return Apply0.apply($0.map((v2) => (v3) => $Expr("DProject", v2, v3))(traversableExpr.traverse(dictApplicative)(f)(m._1)))(traversableExpr.traverse(dictApplicative)(f)(m._2));
       }
@@ -9118,9 +9099,6 @@ var fVExpr = {
     if (v.tag === "Lambda") {
       return fVElim.fv(v._2);
     }
-    if (v.tag === "Project") {
-      return fVExpr.fv(v._1);
-    }
     if (v.tag === "DProject") {
       return setSet2.union(fVExpr.fv(v._1))(fVExpr.fv(v._2));
     }
@@ -10042,12 +10020,6 @@ var ringNumber = { sub: numSub, Semiring0: () => semiringNumber };
 var ringInt = { sub: intSub, Semiring0: () => semiringInt };
 
 // output-es/Data.EuclideanRing/foreign.js
-var intDiv2 = function(x) {
-  return function(y) {
-    if (y === 0) return 0;
-    return y > 0 ? Math.floor(x / y) : -Math.floor(x / -y);
-  };
-};
 var intMod = function(x) {
   return function(y) {
     if (y === 0) return 0;
@@ -11325,23 +11297,37 @@ var makeParser = (term) => (ops) => {
 };
 
 // output-es/Primitive.Parse/index.js
-var opDefs = /* @__PURE__ */ fromFoldable(ordString)(foldableArray)([
-  /* @__PURE__ */ $Tuple(".", { op: ".", prec: 8, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple("!", { op: "!", prec: 8, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple("**", { op: "**", prec: 8, assoc: AssocRight }),
-  /* @__PURE__ */ $Tuple("*", { op: "*", prec: 7, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple("/", { op: "/", prec: 7, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple("+", { op: "+", prec: 6, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple("-", { op: "-", prec: 6, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple(":", { op: ":", prec: 6, assoc: AssocRight }),
-  /* @__PURE__ */ $Tuple("++", { op: "++", prec: 5, assoc: AssocRight }),
-  /* @__PURE__ */ $Tuple("==", { op: "==", prec: 4, assoc: AssocNone }),
-  /* @__PURE__ */ $Tuple("/=", { op: "/=", prec: 4, assoc: AssocNone }),
-  /* @__PURE__ */ $Tuple("<", { op: "<", prec: 4, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple(">", { op: ">", prec: 4, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple("<=", { op: "<=", prec: 4, assoc: AssocLeft }),
-  /* @__PURE__ */ $Tuple(">=", { op: ">=", prec: 4, assoc: AssocLeft })
-]);
+var $InfixParser = (tag) => tag;
+var $OpDef = (_1, _2, _3, _4) => ({ tag: "Infix", _1, _2, _3, _4 });
+var $$Symbol = /* @__PURE__ */ $InfixParser("Symbol");
+var Ident = /* @__PURE__ */ $InfixParser("Ident");
+var ConsOp = /* @__PURE__ */ $InfixParser("ConsOp");
+var Custom = /* @__PURE__ */ $InfixParser("Custom");
+var opDefs = [
+  /* @__PURE__ */ $OpDef($$Symbol, "!", AssocLeft, 9),
+  /* @__PURE__ */ $OpDef($$Symbol, "**", AssocRight, 8),
+  /* @__PURE__ */ $OpDef($$Symbol, "*", AssocLeft, 7),
+  /* @__PURE__ */ $OpDef($$Symbol, "/", AssocLeft, 7),
+  /* @__PURE__ */ $OpDef($$Symbol, "//", AssocLeft, 7),
+  /* @__PURE__ */ $OpDef($$Symbol, "%", AssocLeft, 7),
+  /* @__PURE__ */ $OpDef($$Symbol, "+", AssocLeft, 6),
+  /* @__PURE__ */ $OpDef($$Symbol, "-", AssocLeft, 6),
+  /* @__PURE__ */ $OpDef(ConsOp, ":", AssocRight, 5),
+  /* @__PURE__ */ $OpDef($$Symbol, "++", AssocRight, 4),
+  /* @__PURE__ */ $OpDef(Custom, "|x|", AssocLeft, 3),
+  /* @__PURE__ */ $OpDef($$Symbol, "==", AssocNone, 2),
+  /* @__PURE__ */ $OpDef($$Symbol, "/=", AssocNone, 2),
+  /* @__PURE__ */ $OpDef($$Symbol, "<", AssocLeft, 2),
+  /* @__PURE__ */ $OpDef($$Symbol, ">", AssocLeft, 2),
+  /* @__PURE__ */ $OpDef($$Symbol, "<=", AssocLeft, 2),
+  /* @__PURE__ */ $OpDef($$Symbol, ">=", AssocLeft, 2),
+  /* @__PURE__ */ $OpDef(Ident, "and", AssocLeft, 1),
+  /* @__PURE__ */ $OpDef(Ident, "or", AssocLeft, 0)
+];
+var opMap = /* @__PURE__ */ fromFoldable(ordString)(foldableArray)(/* @__PURE__ */ arrayMap((def) => $Tuple(
+  def._2,
+  def
+))(opDefs));
 
 // output-es/Bind/index.js
 var union4 = /* @__PURE__ */ (() => setSet(ordString).union)();
@@ -11451,86 +11437,6 @@ var genericShowSum3 = /* @__PURE__ */ (() => {
   });
 })();
 var PListNextIsSymbol = { reflectSymbol: () => "PListNext" };
-var VarDefIsSymbol = { reflectSymbol: () => "VarDef" };
-var ListCompGuardIsSymbol = { reflectSymbol: () => "ListCompGuard" };
-var ListCompGenIsSymbol = { reflectSymbol: () => "ListCompGen" };
-var ListCompDeclIsSymbol = { reflectSymbol: () => "ListCompDecl" };
-var genericShowSum4 = /* @__PURE__ */ (() => {
-  const $0 = genericShowConstructor(genericShowArgsArgument)({ reflectSymbol: () => "Token" });
-  return (dictGenericShow1) => ({
-    "genericShow'": (v) => {
-      if (v.tag === "Inl") {
-        return $0["genericShow'"](v._1);
-      }
-      if (v.tag === "Inr") {
-        return dictGenericShow1["genericShow'"](v._1);
-      }
-      fail();
-    }
-  });
-})();
-var UnquoteIsSymbol = { reflectSymbol: () => "Unquote" };
-var EndIsSymbol = { reflectSymbol: () => "End" };
-var NextIsSymbol = { reflectSymbol: () => "Next" };
-var genericShowSum5 = /* @__PURE__ */ (() => {
-  const $0 = genericShowConstructor(genericShowArgsArgument)({ reflectSymbol: () => "Var" });
-  return (dictGenericShow1) => ({
-    "genericShow'": (v) => {
-      if (v.tag === "Inl") {
-        return $0["genericShow'"](v._1);
-      }
-      if (v.tag === "Inr") {
-        return dictGenericShow1["genericShow'"](v._1);
-      }
-      fail();
-    }
-  });
-})();
-var genericShowSum6 = /* @__PURE__ */ (() => {
-  const $0 = genericShowConstructor(genericShowArgsArgument)({ reflectSymbol: () => "Op" });
-  return (dictGenericShow1) => ({
-    "genericShow'": (v) => {
-      if (v.tag === "Inl") {
-        return $0["genericShow'"](v._1);
-      }
-      if (v.tag === "Inr") {
-        return dictGenericShow1["genericShow'"](v._1);
-      }
-      fail();
-    }
-  });
-})();
-var genericShowArgsArgument1 = { genericShowArgs: (v) => [showIntImpl(v)] };
-var IntIsSymbol = { reflectSymbol: () => "Int" };
-var genericShowArgsArgument2 = { genericShowArgs: (v) => [showNumberImpl(v)] };
-var FloatIsSymbol = { reflectSymbol: () => "Float" };
-var StrIsSymbol = { reflectSymbol: () => "Str" };
-var ConstrIsSymbol = { reflectSymbol: () => "Constr" };
-var DictionaryIsSymbol = { reflectSymbol: () => "Dictionary" };
-var genericShowArgsProduct1 = /* @__PURE__ */ genericShowArgsProduct(/* @__PURE__ */ (() => {
-  const $0 = showTuple(showString);
-  return { genericShowArgs: (v) => [$0.show(v)] };
-})());
-var MatrixIsSymbol = { reflectSymbol: () => "Matrix" };
-var LambdaIsSymbol = { reflectSymbol: () => "Lambda" };
-var ProjectIsSymbol = { reflectSymbol: () => "Project" };
-var DProjectIsSymbol = { reflectSymbol: () => "DProject" };
-var AppIsSymbol = { reflectSymbol: () => "App" };
-var BinaryAppIsSymbol = { reflectSymbol: () => "BinaryApp" };
-var MatchAsIsSymbol = { reflectSymbol: () => "MatchAs" };
-var IfElseIsSymbol = { reflectSymbol: () => "IfElse" };
-var ParagraphIsSymbol = { reflectSymbol: () => "Paragraph" };
-var ListEmptyIsSymbol = { reflectSymbol: () => "ListEmpty" };
-var ListNonEmptyIsSymbol = { reflectSymbol: () => "ListNonEmpty" };
-var ListEnumIsSymbol = { reflectSymbol: () => "ListEnum" };
-var ListCompIsSymbol = { reflectSymbol: () => "ListComp" };
-var LetIsSymbol = { reflectSymbol: () => "Let" };
-var LetRecIsSymbol = { reflectSymbol: () => "LetRec" };
-var DocExprIsSymbol = { reflectSymbol: () => "DocExpr" };
-var ExprKeyIsSymbol = { reflectSymbol: () => "ExprKey" };
-var VarKeyIsSymbol = { reflectSymbol: () => "VarKey" };
-var ClausesIsSymbol = { reflectSymbol: () => "Clauses" };
-var ClauseIsSymbol = { reflectSymbol: () => "Clause" };
 var difference2 = /* @__PURE__ */ difference(eqString);
 var toUnfoldable4 = (x) => {
   const go = (m$p, z$p) => {
@@ -11659,1274 +11565,91 @@ var showListRestPattern = {
     fail();
   })())
 };
-var showTuple1 = (dictShow1) => ({ show: (v) => "(Tuple " + showPattern1.show(v._1) + " " + dictShow1.show(v._2) + ")" });
-var showTuple2 = /* @__PURE__ */ (() => {
-  const $0 = showNonEmptyList(showPattern1);
-  return (dictShow1) => ({ show: (v) => "(Tuple " + $0.show(v._1) + " " + dictShow1.show(v._2) + ")" });
-})();
-var genericExpr_ = {
-  to: (x) => {
-    if (x.tag === "Inl") {
-      return $Expr2("Var", x._1);
-    }
-    if (x.tag === "Inr") {
-      if (x._1.tag === "Inl") {
-        return $Expr2("Op", x._1._1);
-      }
-      if (x._1.tag === "Inr") {
-        if (x._1._1.tag === "Inl") {
-          return $Expr2("Int", x._1._1._1._1, x._1._1._1._2);
-        }
-        if (x._1._1.tag === "Inr") {
-          if (x._1._1._1.tag === "Inl") {
-            return $Expr2("Float", x._1._1._1._1._1, x._1._1._1._1._2);
-          }
-          if (x._1._1._1.tag === "Inr") {
-            if (x._1._1._1._1.tag === "Inl") {
-              return $Expr2("Str", x._1._1._1._1._1._1, x._1._1._1._1._1._2);
-            }
-            if (x._1._1._1._1.tag === "Inr") {
-              if (x._1._1._1._1._1.tag === "Inl") {
-                return $Expr2("Constr", x._1._1._1._1._1._1._1, x._1._1._1._1._1._1._2._1, x._1._1._1._1._1._1._2._2);
-              }
-              if (x._1._1._1._1._1.tag === "Inr") {
-                if (x._1._1._1._1._1._1.tag === "Inl") {
-                  return $Expr2("Dictionary", x._1._1._1._1._1._1._1._1, x._1._1._1._1._1._1._1._2);
-                }
-                if (x._1._1._1._1._1._1.tag === "Inr") {
-                  if (x._1._1._1._1._1._1._1.tag === "Inl") {
-                    return $Expr2("Matrix", x._1._1._1._1._1._1._1._1._1, x._1._1._1._1._1._1._1._1._2._1, x._1._1._1._1._1._1._1._1._2._2._1, x._1._1._1._1._1._1._1._1._2._2._2);
-                  }
-                  if (x._1._1._1._1._1._1._1.tag === "Inr") {
-                    if (x._1._1._1._1._1._1._1._1.tag === "Inl") {
-                      return $Expr2("Lambda", x._1._1._1._1._1._1._1._1._1);
-                    }
-                    if (x._1._1._1._1._1._1._1._1.tag === "Inr") {
-                      if (x._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                        return $Expr2("Project", x._1._1._1._1._1._1._1._1._1._1._1, x._1._1._1._1._1._1._1._1._1._1._2);
-                      }
-                      if (x._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                        if (x._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                          return $Expr2("DProject", x._1._1._1._1._1._1._1._1._1._1._1._1, x._1._1._1._1._1._1._1._1._1._1._1._2);
-                        }
-                        if (x._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                          if (x._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                            return $Expr2("App", x._1._1._1._1._1._1._1._1._1._1._1._1._1, x._1._1._1._1._1._1._1._1._1._1._1._1._2);
-                          }
-                          if (x._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                            if (x._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                              return $Expr2(
-                                "BinaryApp",
-                                x._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                x._1._1._1._1._1._1._1._1._1._1._1._1._1._2._1,
-                                x._1._1._1._1._1._1._1._1._1._1._1._1._1._2._2
-                              );
-                            }
-                            if (x._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                              if (x._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                return $Expr2("MatchAs", x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1, x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2);
-                              }
-                              if (x._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                  return $Expr2(
-                                    "IfElse",
-                                    x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                    x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2._1,
-                                    x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2._2
-                                  );
-                                }
-                                if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                  if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                    return $Expr2("Paragraph", x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                  }
-                                  if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                    if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                      return $Expr2("ListEmpty", x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                    }
-                                    if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                      if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                        return $Expr2(
-                                          "ListNonEmpty",
-                                          x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                          x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2._1,
-                                          x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2._2
-                                        );
-                                      }
-                                      if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                        if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                          return $Expr2(
-                                            "ListEnum",
-                                            x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                            x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2
-                                          );
-                                        }
-                                        if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                          if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                            return $Expr2(
-                                              "ListComp",
-                                              x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                              x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2._1,
-                                              x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2._2
-                                            );
-                                          }
-                                          if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                            if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                              return $Expr2(
-                                                "Let",
-                                                x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                                x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2
-                                              );
-                                            }
-                                            if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                              if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                                return $Expr2(
-                                                  "LetRec",
-                                                  x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                                  x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2
-                                                );
-                                              }
-                                              if (x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                                return $Expr2(
-                                                  "DocExpr",
-                                                  x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1,
-                                                  x._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._2
-                                                );
-                                              }
-                                            }
-                                          }
-                                        }
-                                      }
-                                    }
-                                  }
-                                }
-                              }
-                            }
-                          }
-                        }
-                      }
-                    }
-                  }
-                }
-              }
-            }
-          }
-        }
-      }
+var functorVarDef2 = { map: (f) => (m) => $VarDef2(m._1, functorExpr2.map(f)(m._2)) };
+var functorQualifier = {
+  map: (f) => (m) => {
+    if (m.tag === "ListCompGuard") {
+      return $Qualifier("ListCompGuard", functorExpr2.map(f)(m._1));
+    }
+    if (m.tag === "ListCompGen") {
+      return $Qualifier("ListCompGen", m._1, functorExpr2.map(f)(m._2));
+    }
+    if (m.tag === "ListCompDecl") {
+      return $Qualifier("ListCompDecl", $VarDef2(m._1._1, functorExpr2.map(f)(m._1._2)));
     }
     fail();
-  },
-  from: (x) => {
-    if (x.tag === "Var") {
-      return $Sum("Inl", x._1);
+  }
+};
+var functorParagraphElem = {
+  map: (f) => (m) => {
+    if (m.tag === "Token") {
+      return $ParagraphElem("Token", m._1);
     }
-    if (x.tag === "Op") {
-      return $Sum("Inr", $Sum("Inl", x._1));
+    if (m.tag === "Unquote") {
+      return $ParagraphElem("Unquote", functorExpr2.map(f)(m._1));
     }
-    if (x.tag === "Int") {
-      return $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))));
+    fail();
+  }
+};
+var functorListRest = {
+  map: (f) => (m) => {
+    if (m.tag === "End") {
+      return $ListRest("End", f(m._1));
     }
-    if (x.tag === "Float") {
-      return $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2)))));
+    if (m.tag === "Next") {
+      return $ListRest("Next", f(m._1), functorExpr2.map(f)(m._2), functorListRest.map(f)(m._3));
     }
-    if (x.tag === "Str") {
-      return $Sum(
-        "Inr",
-        $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2)))))
-      );
+    fail();
+  }
+};
+var functorExpr2 = {
+  map: (f) => (m) => {
+    if (m.tag === "Var") {
+      return $Expr2("Var", m._1);
     }
-    if (x.tag === "Constr") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum("Inr", $Sum("Inl", $Product(x._1, $Product(x._2, x._3))))
-            )
-          )
-        )
-      );
+    if (m.tag === "Op") {
+      return $Expr2("Op", m._1);
     }
-    if (x.tag === "Dictionary") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2)))))
-          )
-        )
-      );
+    if (m.tag === "Int") {
+      return $Expr2("Int", f(m._1), m._2);
     }
-    if (x.tag === "Matrix") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum("Inl", $Product(x._1, $Product(x._2, $Product(x._3, x._4))))
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
+    if (m.tag === "Float") {
+      return $Expr2("Float", f(m._1), m._2);
     }
-    if (x.tag === "Lambda") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", x._1)))))
-            )
-          )
-        )
-      );
+    if (m.tag === "Str") {
+      return $Expr2("Str", f(m._1), m._2);
     }
-    if (x.tag === "Project") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))))
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
+    if (m.tag === "Constr") {
+      return $Expr2("Constr", f(m._1), m._2, listMap(functorExpr2.map(f))(m._3));
     }
-    if (x.tag === "DProject") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))))
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
+    if (m.tag === "Dictionary") {
+      return $Expr2(
+        "Dictionary",
+        f(m._1),
+        listMap((() => {
+          const $0 = functorDictEntry.map(f);
+          const $1 = functorExpr2.map(f);
+          return (v) => $Tuple($0(v._1), $1(v._2));
+        })())(m._2)
       );
     }
-    if (x.tag === "App") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))))
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
+    if (m.tag === "Matrix") {
+      return $Expr2("Matrix", f(m._1), functorExpr2.map(f)(m._2), m._3, functorExpr2.map(f)(m._4));
     }
-    if (x.tag === "BinaryApp") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum("Inr", $Sum("Inl", $Product(x._1, $Product(x._2, x._3))))
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
+    if (m.tag === "Lambda") {
+      return $Expr2("Lambda", functorClauses.map(f)(m._1));
     }
-    if (x.tag === "MatchAs") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))))
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
+    if (m.tag === "Project") {
+      return $Expr2("Project", functorExpr2.map(f)(m._1), m._2);
     }
-    if (x.tag === "IfElse") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum("Inr", $Sum("Inl", $Product(x._1, $Product(x._2, x._3))))
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
+    if (m.tag === "DProject") {
+      return $Expr2("DProject", functorExpr2.map(f)(m._1), functorExpr2.map(f)(m._2));
     }
-    if (x.tag === "Paragraph") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", x._1))))
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
+    if (m.tag === "App") {
+      return $Expr2("App", functorExpr2.map(f)(m._1), functorExpr2.map(f)(m._2));
     }
-    if (x.tag === "ListEmpty") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", x._1))))
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
-    }
-    if (x.tag === "ListNonEmpty") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum(
-                                  "Inr",
-                                  $Sum(
-                                    "Inr",
-                                    $Sum(
-                                      "Inr",
-                                      $Sum("Inr", $Sum("Inl", $Product(x._1, $Product(x._2, x._3))))
-                                    )
-                                  )
-                                )
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
-    }
-    if (x.tag === "ListEnum") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum(
-                                  "Inr",
-                                  $Sum(
-                                    "Inr",
-                                    $Sum(
-                                      "Inr",
-                                      $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))))
-                                    )
-                                  )
-                                )
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
-    }
-    if (x.tag === "ListComp") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum(
-                                  "Inr",
-                                  $Sum(
-                                    "Inr",
-                                    $Sum(
-                                      "Inr",
-                                      $Sum(
-                                        "Inr",
-                                        $Sum(
-                                          "Inr",
-                                          $Sum("Inr", $Sum("Inl", $Product(x._1, $Product(x._2, x._3))))
-                                        )
-                                      )
-                                    )
-                                  )
-                                )
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
-    }
-    if (x.tag === "Let") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum(
-                                  "Inr",
-                                  $Sum(
-                                    "Inr",
-                                    $Sum(
-                                      "Inr",
-                                      $Sum(
-                                        "Inr",
-                                        $Sum(
-                                          "Inr",
-                                          $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))))
-                                        )
-                                      )
-                                    )
-                                  )
-                                )
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
-    }
-    if (x.tag === "LetRec") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum(
-                                  "Inr",
-                                  $Sum(
-                                    "Inr",
-                                    $Sum(
-                                      "Inr",
-                                      $Sum(
-                                        "Inr",
-                                        $Sum(
-                                          "Inr",
-                                          $Sum(
-                                            "Inr",
-                                            $Sum("Inr", $Sum("Inr", $Sum("Inl", $Product(x._1, x._2))))
-                                          )
-                                        )
-                                      )
-                                    )
-                                  )
-                                )
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
-    }
-    if (x.tag === "DocExpr") {
-      return $Sum(
-        "Inr",
-        $Sum(
-          "Inr",
-          $Sum(
-            "Inr",
-            $Sum(
-              "Inr",
-              $Sum(
-                "Inr",
-                $Sum(
-                  "Inr",
-                  $Sum(
-                    "Inr",
-                    $Sum(
-                      "Inr",
-                      $Sum(
-                        "Inr",
-                        $Sum(
-                          "Inr",
-                          $Sum(
-                            "Inr",
-                            $Sum(
-                              "Inr",
-                              $Sum(
-                                "Inr",
-                                $Sum(
-                                  "Inr",
-                                  $Sum(
-                                    "Inr",
-                                    $Sum(
-                                      "Inr",
-                                      $Sum(
-                                        "Inr",
-                                        $Sum(
-                                          "Inr",
-                                          $Sum(
-                                            "Inr",
-                                            $Sum("Inr", $Sum("Inr", $Sum("Inr", $Product(x._1, x._2))))
-                                          )
-                                        )
-                                      )
-                                    )
-                                  )
-                                )
-                              )
-                            )
-                          )
-                        )
-                      )
-                    )
-                  )
-                )
-              )
-            )
-          )
-        )
-      );
-    }
-    fail();
-  }
-};
-var showVarDef = (dictShow) => ({
-  show: (c) => genericShowConstructor(genericShowArgsProduct({ genericShowArgs: (v) => [showPattern1.show(v)] })((() => {
-    const $0 = showExpr(dictShow);
-    return { genericShowArgs: (v) => [$0.show(v)] };
-  })()))(VarDefIsSymbol)["genericShow'"]($Product(c._1, c._2))
-});
-var showQualifier = (dictShow) => ({
-  show: (c) => {
-    const $0 = genericShowConstructor((() => {
-      const $02 = showExpr(dictShow);
-      return { genericShowArgs: (v) => [$02.show(v)] };
-    })())(ListCompGuardIsSymbol);
-    const $1 = genericShowConstructor(genericShowArgsProduct({ genericShowArgs: (v) => [showPattern1.show(v)] })((() => {
-      const $12 = showExpr(dictShow);
-      return { genericShowArgs: (v) => [$12.show(v)] };
-    })()))(ListCompGenIsSymbol);
-    const $2 = genericShowConstructor((() => {
-      const $22 = showVarDef(dictShow);
-      return { genericShowArgs: (v) => [$22.show(v)] };
-    })())(ListCompDeclIsSymbol);
-    if (c.tag === "ListCompGuard") {
-      return $0["genericShow'"](c._1);
-    }
-    if (c.tag === "ListCompGen") {
-      return $1["genericShow'"]($Product(c._1, c._2));
-    }
-    if (c.tag === "ListCompDecl") {
-      return $2["genericShow'"](c._1);
-    }
-    fail();
-  }
-});
-var showParagraphElem = (dictShow) => ({
-  show: (c) => genericShowSum4(genericShowConstructor((() => {
-    const $0 = showExpr(dictShow);
-    return { genericShowArgs: (v) => [$0.show(v)] };
-  })())(UnquoteIsSymbol))["genericShow'"]((() => {
-    if (c.tag === "Token") {
-      return $Sum("Inl", c._1);
-    }
-    if (c.tag === "Unquote") {
-      return $Sum("Inr", c._1);
-    }
-    fail();
-  })())
-});
-var showListRest = (dictShow) => {
-  const genericShowArgsArgument3 = { genericShowArgs: (v) => [dictShow.show(v)] };
-  const $0 = genericShowConstructor(genericShowArgsArgument3)(EndIsSymbol);
-  return {
-    show: (c) => {
-      const $1 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsProduct((() => {
-        const $12 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$12.show(v)] };
-      })())((() => {
-        const $12 = showListRest(dictShow);
-        return { genericShowArgs: (v) => [$12.show(v)] };
-      })())))(NextIsSymbol);
-      if (c.tag === "End") {
-        return $0["genericShow'"](c._1);
-      }
-      if (c.tag === "Next") {
-        return $1["genericShow'"]($Product(c._1, $Product(c._2, c._3)));
-      }
-      fail();
-    }
-  };
-};
-var showExpr = (dictShow) => {
-  const genericShowArgsArgument3 = { genericShowArgs: (v) => [dictShow.show(v)] };
-  const $0 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsArgument1))(IntIsSymbol);
-  const $1 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsArgument2))(FloatIsSymbol);
-  const $2 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsArgument))(StrIsSymbol);
-  const $3 = genericShowConstructor(genericShowArgsArgument3)(ListEmptyIsSymbol);
-  return {
-    show: (c) => genericShowSum5(genericShowSum6((() => {
-      const $4 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsProduct(genericShowArgsArgument)((() => {
-        const $42 = showList(showExpr(dictShow));
-        return { genericShowArgs: (v) => [$42.show(v)] };
-      })())))(ConstrIsSymbol);
-      const $5 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)((() => {
-        const $52 = showList((() => {
-          const $53 = showDictEntry(dictShow);
-          const $62 = showExpr(dictShow);
-          return { show: (v) => "(Tuple " + $53.show(v._1) + " " + $62.show(v._2) + ")" };
-        })());
-        return { genericShowArgs: (v) => [$52.show(v)] };
-      })()))(DictionaryIsSymbol);
-      const $6 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsProduct((() => {
-        const $62 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$62.show(v)] };
-      })())(genericShowArgsProduct1((() => {
-        const $62 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$62.show(v)] };
-      })()))))(MatrixIsSymbol);
-      const $7 = genericShowConstructor((() => {
-        const $72 = showClauses(dictShow);
-        return { genericShowArgs: (v) => [$72.show(v)] };
-      })())(LambdaIsSymbol);
-      const $8 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $82 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$82.show(v)] };
-      })())(genericShowArgsArgument))(ProjectIsSymbol);
-      const $9 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $92 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$92.show(v)] };
-      })())((() => {
-        const $92 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$92.show(v)] };
-      })()))(DProjectIsSymbol);
-      const $10 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $102 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$102.show(v)] };
-      })())((() => {
-        const $102 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$102.show(v)] };
-      })()))(AppIsSymbol);
-      const $11 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $112 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$112.show(v)] };
-      })())(genericShowArgsProduct(genericShowArgsArgument)((() => {
-        const $112 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$112.show(v)] };
-      })())))(BinaryAppIsSymbol);
-      const $12 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $122 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$122.show(v)] };
-      })())((() => {
-        const $122 = showNonEmptyList(showTuple1(showExpr(dictShow)));
-        return { genericShowArgs: (v) => [$122.show(v)] };
-      })()))(MatchAsIsSymbol);
-      const $13 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $132 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$132.show(v)] };
-      })())(genericShowArgsProduct((() => {
-        const $132 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$132.show(v)] };
-      })())((() => {
-        const $132 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$132.show(v)] };
-      })())))(IfElseIsSymbol);
-      const $14 = genericShowConstructor((() => {
-        const $142 = showList(showParagraphElem(dictShow));
-        return { genericShowArgs: (v) => [$142.show(v)] };
-      })())(ParagraphIsSymbol);
-      const $15 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsProduct((() => {
-        const $152 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$152.show(v)] };
-      })())((() => {
-        const $152 = showListRest(dictShow);
-        return { genericShowArgs: (v) => [$152.show(v)] };
-      })())))(ListNonEmptyIsSymbol);
-      const $16 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $162 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$162.show(v)] };
-      })())((() => {
-        const $162 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$162.show(v)] };
-      })()))(ListEnumIsSymbol);
-      const $17 = genericShowConstructor(genericShowArgsProduct(genericShowArgsArgument3)(genericShowArgsProduct((() => {
-        const $172 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$172.show(v)] };
-      })())((() => {
-        const $172 = showList(showQualifier(dictShow));
-        return { genericShowArgs: (v) => [$172.show(v)] };
-      })())))(ListCompIsSymbol);
-      const $18 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $182 = showNonEmptyList(showVarDef(dictShow));
-        return { genericShowArgs: (v) => [$182.show(v)] };
-      })())((() => {
-        const $182 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$182.show(v)] };
-      })()))(LetIsSymbol);
-      const $19 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $192 = showNonEmptyList(showTuple(showClause(dictShow)));
-        return { genericShowArgs: (v) => [$192.show(v)] };
-      })())((() => {
-        const $192 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$192.show(v)] };
-      })()))(LetRecIsSymbol);
-      const $20 = genericShowConstructor(genericShowArgsProduct((() => {
-        const $202 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$202.show(v)] };
-      })())((() => {
-        const $202 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$202.show(v)] };
-      })()))(DocExprIsSymbol);
-      return {
-        "genericShow'": (v) => {
-          if (v.tag === "Inl") {
-            return $0["genericShow'"](v._1);
-          }
-          if (v.tag === "Inr") {
-            if (v._1.tag === "Inl") {
-              return $1["genericShow'"](v._1._1);
-            }
-            if (v._1.tag === "Inr") {
-              if (v._1._1.tag === "Inl") {
-                return $2["genericShow'"](v._1._1._1);
-              }
-              if (v._1._1.tag === "Inr") {
-                if (v._1._1._1.tag === "Inl") {
-                  return $4["genericShow'"](v._1._1._1._1);
-                }
-                if (v._1._1._1.tag === "Inr") {
-                  if (v._1._1._1._1.tag === "Inl") {
-                    return $5["genericShow'"](v._1._1._1._1._1);
-                  }
-                  if (v._1._1._1._1.tag === "Inr") {
-                    if (v._1._1._1._1._1.tag === "Inl") {
-                      return $6["genericShow'"](v._1._1._1._1._1._1);
-                    }
-                    if (v._1._1._1._1._1.tag === "Inr") {
-                      if (v._1._1._1._1._1._1.tag === "Inl") {
-                        return $7["genericShow'"](v._1._1._1._1._1._1._1);
-                      }
-                      if (v._1._1._1._1._1._1.tag === "Inr") {
-                        if (v._1._1._1._1._1._1._1.tag === "Inl") {
-                          return $8["genericShow'"](v._1._1._1._1._1._1._1._1);
-                        }
-                        if (v._1._1._1._1._1._1._1.tag === "Inr") {
-                          if (v._1._1._1._1._1._1._1._1.tag === "Inl") {
-                            return $9["genericShow'"](v._1._1._1._1._1._1._1._1._1);
-                          }
-                          if (v._1._1._1._1._1._1._1._1.tag === "Inr") {
-                            if (v._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                              return $10["genericShow'"](v._1._1._1._1._1._1._1._1._1._1);
-                            }
-                            if (v._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                              if (v._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                return $11["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1);
-                              }
-                              if (v._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                if (v._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                  return $12["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1);
-                                }
-                                if (v._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                  if (v._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                    return $13["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                  }
-                                  if (v._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                    if (v._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                      return $14["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                    }
-                                    if (v._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                      if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                        return $3["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                      }
-                                      if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                        if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                          return $15["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                        }
-                                        if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                          if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                            return $16["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                          }
-                                          if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                            if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                              return $17["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                            }
-                                            if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                              if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                                return $18["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                              }
-                                              if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                                if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                                  return $19["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                                }
-                                                if (v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                                  return $20["genericShow'"](v._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1);
-                                                }
-                                              }
-                                            }
-                                          }
-                                        }
-                                      }
-                                    }
-                                  }
-                                }
-                              }
-                            }
-                          }
-                        }
-                      }
-                    }
-                  }
-                }
-              }
-            }
-          }
-          fail();
-        }
-      };
-    })()))["genericShow'"](genericExpr_.from(c))
-  };
-};
-var showDictEntry = (dictShow) => {
-  const genericShowConstructor2 = genericShowConstructor(genericShowArgsProduct({ genericShowArgs: (v) => [dictShow.show(v)] })(genericShowArgsArgument))(VarKeyIsSymbol);
-  return {
-    show: (c) => {
-      const $0 = genericShowConstructor((() => {
-        const $02 = showExpr(dictShow);
-        return { genericShowArgs: (v) => [$02.show(v)] };
-      })())(ExprKeyIsSymbol);
-      if (c.tag === "ExprKey") {
-        return $0["genericShow'"](c._1);
-      }
-      if (c.tag === "VarKey") {
-        return genericShowConstructor2["genericShow'"]($Product(c._1, c._2));
-      }
-      fail();
-    }
-  };
-};
-var showClauses = (dictShow) => ({
-  show: (c) => genericShowConstructor((() => {
-    const $0 = showNonEmptyList(showClause(dictShow));
-    return { genericShowArgs: (v) => [$0.show(v)] };
-  })())(ClausesIsSymbol)["genericShow'"](c)
-});
-var showClause = (dictShow) => ({
-  show: (c) => genericShowConstructor((() => {
-    const $0 = showTuple2(showExpr(dictShow));
-    return { genericShowArgs: (v) => [$0.show(v)] };
-  })())(ClauseIsSymbol)["genericShow'"](c)
-});
-var show2 = /* @__PURE__ */ (() => showExpr(showUnit).show)();
-var functorVarDef2 = { map: (f) => (m) => $VarDef2(m._1, functorExpr2.map(f)(m._2)) };
-var functorQualifier = {
-  map: (f) => (m) => {
-    if (m.tag === "ListCompGuard") {
-      return $Qualifier("ListCompGuard", functorExpr2.map(f)(m._1));
-    }
-    if (m.tag === "ListCompGen") {
-      return $Qualifier("ListCompGen", m._1, functorExpr2.map(f)(m._2));
-    }
-    if (m.tag === "ListCompDecl") {
-      return $Qualifier("ListCompDecl", $VarDef2(m._1._1, functorExpr2.map(f)(m._1._2)));
-    }
-    fail();
-  }
-};
-var functorParagraphElem = {
-  map: (f) => (m) => {
-    if (m.tag === "Token") {
-      return $ParagraphElem("Token", m._1);
-    }
-    if (m.tag === "Unquote") {
-      return $ParagraphElem("Unquote", functorExpr2.map(f)(m._1));
-    }
-    fail();
-  }
-};
-var functorListRest = {
-  map: (f) => (m) => {
-    if (m.tag === "End") {
-      return $ListRest("End", f(m._1));
-    }
-    if (m.tag === "Next") {
-      return $ListRest("Next", f(m._1), functorExpr2.map(f)(m._2), functorListRest.map(f)(m._3));
-    }
-    fail();
-  }
-};
-var functorExpr2 = {
-  map: (f) => (m) => {
-    if (m.tag === "Var") {
-      return $Expr2("Var", m._1);
-    }
-    if (m.tag === "Op") {
-      return $Expr2("Op", m._1);
-    }
-    if (m.tag === "Int") {
-      return $Expr2("Int", f(m._1), m._2);
-    }
-    if (m.tag === "Float") {
-      return $Expr2("Float", f(m._1), m._2);
-    }
-    if (m.tag === "Str") {
-      return $Expr2("Str", f(m._1), m._2);
-    }
-    if (m.tag === "Constr") {
-      return $Expr2("Constr", f(m._1), m._2, listMap(functorExpr2.map(f))(m._3));
-    }
-    if (m.tag === "Dictionary") {
-      return $Expr2(
-        "Dictionary",
-        f(m._1),
-        listMap((() => {
-          const $0 = functorDictEntry.map(f);
-          const $1 = functorExpr2.map(f);
-          return (v) => $Tuple($0(v._1), $1(v._2));
-        })())(m._2)
-      );
-    }
-    if (m.tag === "Matrix") {
-      return $Expr2("Matrix", f(m._1), functorExpr2.map(f)(m._2), m._3, functorExpr2.map(f)(m._4));
-    }
-    if (m.tag === "Lambda") {
-      return $Expr2("Lambda", functorClauses.map(f)(m._1));
-    }
-    if (m.tag === "Project") {
-      return $Expr2("Project", functorExpr2.map(f)(m._1), m._2);
-    }
-    if (m.tag === "DProject") {
-      return $Expr2("DProject", functorExpr2.map(f)(m._1), functorExpr2.map(f)(m._2));
-    }
-    if (m.tag === "App") {
-      return $Expr2("App", functorExpr2.map(f)(m._1), functorExpr2.map(f)(m._2));
-    }
-    if (m.tag === "BinaryApp") {
-      return $Expr2("BinaryApp", functorExpr2.map(f)(m._1), m._2, functorExpr2.map(f)(m._3));
+    if (m.tag === "BinaryApp") {
+      return $Expr2("BinaryApp", functorExpr2.map(f)(m._1), m._2, functorExpr2.map(f)(m._3));
     }
     if (m.tag === "MatchAs") {
       return $Expr2(
@@ -12939,7 +11662,15 @@ var functorExpr2 = {
       );
     }
     if (m.tag === "IfElse") {
-      return $Expr2("IfElse", functorExpr2.map(f)(m._1), functorExpr2.map(f)(m._2), functorExpr2.map(f)(m._3));
+      return $Expr2(
+        "IfElse",
+        (() => {
+          const $0 = functorExpr2.map(f);
+          const $1 = functorExpr2.map(f);
+          return $NonEmpty($Tuple($0(m._1._1._1), $1(m._1._1._2)), listMap((v) => $Tuple($0(v._1), $1(v._2)))(m._1._2));
+        })(),
+        functorExpr2.map(f)(m._2)
+      );
     }
     if (m.tag === "Paragraph") {
       return $Expr2("Paragraph", listMap(functorParagraphElem.map(f))(m._1));
@@ -14212,7 +12943,7 @@ var listCompFwd = (dictMonadError) => {
           );
         })()))((\u03C3) => Functor0.map(App2($Expr(
           "App",
-          $Expr("Var", "concatMap"),
+          $Expr("Var", "concat_map"),
           $Expr("Lambda", $1, \u03C3.tag === "ContElim" ? \u03C3._1 : throwException(error("Eliminator expected"))())
         )))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())($0)));
       }
@@ -14272,7 +13003,7 @@ var listCompBwd = (dictBoundedJoinSemilattice) => {
         }
         return throwException(error("absurd"))();
       }
-      if (v._1.tag === "App" && v._1._1.tag === "Var" && v._1._1._1 === "concatMap" && v._1._2.tag === "Lambda" && v1._1._1.tag === "ListCompGen") {
+      if (v._1.tag === "App" && v._1._1.tag === "Var" && v._1._1._1 === "concat_map" && v._1._2.tag === "Lambda" && v1._1._1.tag === "ListCompGen") {
         const $2 = orElseBwd1($Tuple(
           $List("Cons", $Either("Left", v1._1._1._1), Nil),
           $Expr2("ListComp", void 0, v1._2, v1._1._2)
@@ -14315,6 +13046,73 @@ var listCompBwd = (dictBoundedJoinSemilattice) => {
     return throwException(error("absurd"))();
   };
 };
+var ifElseFwd = (dictBoundedLattice) => {
+  const top = dictBoundedLattice.BoundedMeetSemilattice1().top;
+  return (dictMonadError) => {
+    const Apply0 = dictMonadError.MonadThrow0().Monad0().Bind1().Apply0();
+    const $0 = Apply0.Functor0();
+    return (v) => {
+      const $1 = (v1, e3) => Apply0.apply($0.map(App2)($0.map(Lambda(top))(Apply0.apply($0.map(elimBool)($0.map(ContExpr)(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v1._2))))($0.map(ContExpr)(e3)))))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v1._1));
+      return $1(
+        v._1._1,
+        foldableList.foldr(($2) => ($3) => $1($2, $3))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._2))(v._1._2)
+      );
+    };
+  };
+};
+var ifElseBwd = (dictBoundedJoinSemilattice) => {
+  const botOf = functorExpr2.map((() => {
+    const $0 = dictBoundedJoinSemilattice.bot;
+    return (v) => $0;
+  })());
+  return (v) => (v1) => {
+    if (v.tag === "App" && v._1.tag === "Lambda" && v._1._2.tag === "ElimConstr") {
+      const $0 = v._1._2._1;
+      const bwdWhen = (c) => {
+        if (Object.hasOwn($0, c)) {
+          return exprBwd(dictBoundedJoinSemilattice)((() => {
+            const $1 = $$get(showString)(mapDictString)(c)($0);
+            if ($1.tag === "ContExpr") {
+              return $1._1;
+            }
+            return throwException(error("Expression expected"))();
+          })());
+        }
+        return botOf;
+      };
+      if (v1._1._2.tag === "Nil") {
+        return $Tuple(
+          nonEmptyListNonEmptyList.nonEmpty($List(
+            "Cons",
+            $Tuple(exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._1._1._1), bwdWhen("True")(v1._1._1._2)),
+            Nil
+          )),
+          bwdWhen("False")(v1._2)
+        );
+      }
+      const v3 = bwdWhen("False")($Expr2("IfElse", nonEmptyListNonEmptyList.nonEmpty(v1._1._2), v1._2));
+      if (v3.tag === "IfElse") {
+        return $Tuple(
+          nonEmptyListNonEmptyList.nonEmpty($List(
+            "Cons",
+            $Tuple(exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._1._1._1), bwdWhen("True")(v1._1._1._2)),
+            $List("Cons", v3._1._1, v3._1._2)
+          )),
+          v3._2
+        );
+      }
+      return $Tuple(
+        nonEmptyListNonEmptyList.nonEmpty($List(
+          "Cons",
+          $Tuple(exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._1._1._1), bwdWhen("True")(v1._1._1._2)),
+          throwException(error("absurd"))()._1
+        )),
+        throwException(error("absurd"))()._2
+      );
+    }
+    return throwException(error("absurd"))();
+  };
+};
 var exprFwd = (dictBoundedLattice) => {
   const top = dictBoundedLattice.BoundedMeetSemilattice1().top;
   const JoinSemilattice0 = dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0();
@@ -14401,8 +13199,7 @@ var exprFwd = (dictBoundedLattice) => {
         return Functor0.map(Lambda(top))(desugarableClausesElim.desug(dictMonadError)(dictBoundedLattice)(v._1));
       }
       if (v.tag === "Project") {
-        const $0 = v._2;
-        return Functor0.map((f) => f($0))(Functor0.map(Project)(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1)));
+        return Functor0.map((f) => f($Expr("Str", top, v._2)))(Functor0.map(DProject)(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1)));
       }
       if (v.tag === "DProject") {
         return Apply0.apply(Functor0.map(DProject)(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1)))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._2));
@@ -14420,7 +13217,7 @@ var exprFwd = (dictBoundedLattice) => {
         )))))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1));
       }
       if (v.tag === "IfElse") {
-        return Apply0.apply(Functor0.map(App2)(Functor0.map(Lambda(top))(Apply0.apply(Functor0.map(elimBool)(Functor0.map(ContExpr)(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._2))))(Functor0.map(ContExpr)(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._3))))))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1));
+        return ifElseFwd(dictBoundedLattice)(dictMonadError)($Tuple(v._1, v._2));
       }
       if (v.tag === "Paragraph") {
         return paragraphFwd(dictBoundedLattice)(dictMonadError)(v._1);
@@ -14433,7 +13230,11 @@ var exprFwd = (dictBoundedLattice) => {
         return Apply0.apply(Functor0.map((e) => (e$p) => $Expr("Constr", $0, ":", $List("Cons", e, $List("Cons", e$p, Nil))))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._2)))(desugarableListRestExpr.desug(dictMonadError)(dictBoundedLattice)(v._3));
       }
       if (v.tag === "ListEnum") {
-        return Apply0.apply(Functor0.map(App2)(Functor0.map(App2($Expr("Var", "enumFromTo")))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1))))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._2));
+        return Apply0.apply(Functor0.map(App2)(Functor0.map(App2($Expr("Var", "range")))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1))))(Functor0.map((f) => f($Expr(
+          "Int",
+          top,
+          1
+        )))(Functor0.map(App2)(Functor0.map(App2($Expr("Op", "+")))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._2)))));
       }
       if (v.tag === "ListComp") {
         if (v._3.tag === "Cons" && v._3._1.tag === "ListCompGen") {
@@ -14462,339 +13263,314 @@ var exprFwd = (dictBoundedLattice) => {
     };
   };
 };
-var exprBwd = (dictBoundedJoinSemilattice) => {
-  const $0 = functorExpr2.map((() => {
-    const $02 = dictBoundedJoinSemilattice.bot;
-    return (v) => $02;
-  })());
-  return (v) => (v1) => {
-    const $1 = (e, q, qs, s) => {
-      const v2 = listCompBwd(dictBoundedJoinSemilattice)(e)($Tuple($List("Cons", q, qs), s));
-      return $Expr2("ListComp", v2._1, v2._2._2, v2._2._1);
-    };
-    const $2 = (e, qs, s) => {
-      const v2 = listCompBwd(dictBoundedJoinSemilattice)(e)($Tuple(qs, s));
-      return $Expr2("ListComp", v2._1, v2._2._2, v2._2._1);
-    };
-    if (v.tag === "Var") {
-      if (v1.tag === "Var") {
-        return $Expr2("Var", v1._1);
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+var exprBwd = (dictBoundedJoinSemilattice) => (v) => (v1) => {
+  const $0 = (e, q, qs, s) => {
+    const v2 = listCompBwd(dictBoundedJoinSemilattice)(e)($Tuple($List("Cons", q, qs), s));
+    return $Expr2("ListComp", v2._1, v2._2._2, v2._2._1);
+  };
+  const $1 = (e, qs, s) => {
+    const v2 = listCompBwd(dictBoundedJoinSemilattice)(e)($Tuple(qs, s));
+    return $Expr2("ListComp", v2._1, v2._2._2, v2._2._1);
+  };
+  if (v.tag === "Var") {
+    if (v1.tag === "Var") {
+      return $Expr2("Var", v1._1);
     }
-    if (v.tag === "Op") {
-      if (v1.tag === "Op") {
-        return $Expr2("Op", v1._1);
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
     }
-    if (v.tag === "Int") {
-      if (v1.tag === "Int") {
-        return $Expr2("Int", v._1, v1._2);
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Op") {
+    if (v1.tag === "Op") {
+      return $Expr2("Op", v1._1);
     }
-    if (v.tag === "Float") {
-      if (v1.tag === "Float") {
-        return $Expr2("Float", v._1, v1._2);
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
     }
-    if (v.tag === "Str") {
-      if (v1.tag === "Str") {
-        return $Expr2("Str", v._1, v1._2);
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Int") {
+    if (v1.tag === "Int") {
+      return $Expr2("Int", v._1, v1._2);
     }
-    if (v.tag === "Constr") {
-      if (v1.tag === "Constr") {
-        return $Expr2(
-          "Constr",
-          v._1,
-          v1._2,
-          listMap((() => {
-            const $3 = exprBwd(dictBoundedJoinSemilattice);
-            return (v$1) => $3(v$1._1)(v$1._2);
-          })())((() => {
-            const go = (go$a0$copy) => (go$a1$copy) => (go$a2$copy) => {
-              let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$a2 = go$a2$copy, go$c = true, go$r;
-              while (go$c) {
-                const v$1 = go$a0, v1$1 = go$a1, v2 = go$a2;
-                if (v$1.tag === "Nil") {
-                  go$c = false;
-                  go$r = v2;
-                  continue;
-                }
-                if (v1$1.tag === "Nil") {
-                  go$c = false;
-                  go$r = v2;
-                  continue;
-                }
-                if (v$1.tag === "Cons" && v1$1.tag === "Cons") {
-                  go$a0 = v$1._2;
-                  go$a1 = v1$1._2;
-                  go$a2 = $List("Cons", $Tuple(v$1._1, v1$1._1), v2);
-                  continue;
-                }
-                fail();
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Float") {
+    if (v1.tag === "Float") {
+      return $Expr2("Float", v._1, v1._2);
+    }
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Str") {
+    if (v1.tag === "Str") {
+      return $Expr2("Str", v._1, v1._2);
+    }
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Constr") {
+    if (v1.tag === "Constr") {
+      return $Expr2(
+        "Constr",
+        v._1,
+        v1._2,
+        listMap((() => {
+          const $2 = exprBwd(dictBoundedJoinSemilattice);
+          return (v$1) => $2(v$1._1)(v$1._2);
+        })())((() => {
+          const go = (go$a0$copy) => (go$a1$copy) => (go$a2$copy) => {
+            let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$a2 = go$a2$copy, go$c = true, go$r;
+            while (go$c) {
+              const v$1 = go$a0, v1$1 = go$a1, v2 = go$a2;
+              if (v$1.tag === "Nil") {
+                go$c = false;
+                go$r = v2;
+                continue;
               }
-              return go$r;
-            };
-            const go$1 = (go$1$a0$copy) => (go$1$a1$copy) => {
-              let go$1$a0 = go$1$a0$copy, go$1$a1 = go$1$a1$copy, go$1$c = true, go$1$r;
-              while (go$1$c) {
-                const v$1 = go$1$a0, v1$1 = go$1$a1;
-                if (v1$1.tag === "Nil") {
-                  go$1$c = false;
-                  go$1$r = v$1;
-                  continue;
-                }
-                if (v1$1.tag === "Cons") {
-                  go$1$a0 = $List("Cons", v1$1._1, v$1);
-                  go$1$a1 = v1$1._2;
-                  continue;
-                }
-                fail();
+              if (v1$1.tag === "Nil") {
+                go$c = false;
+                go$r = v2;
+                continue;
               }
-              return go$1$r;
-            };
-            return go$1(Nil)(go(v._3)(v1._3)(Nil));
-          })())
-        );
-      }
-      if (v._3.tag === "Cons") {
-        if (v._3._2.tag === "Nil") {
-          if (v1.tag === "Paragraph") {
-            if (v._2 === "Paragraph") {
-              return $Expr2("Paragraph", paragraphElemsBwd(dictBoundedJoinSemilattice)(v._3._1)(v1._1));
+              if (v$1.tag === "Cons" && v1$1.tag === "Cons") {
+                go$a0 = v$1._2;
+                go$a1 = v1$1._2;
+                go$a2 = $List("Cons", $Tuple(v$1._1, v1$1._1), v2);
+                continue;
+              }
+              fail();
             }
-            return throwException(error("ExprBwd failed, s: " + show2(v1)))();
-          }
-          if (v1.tag === "ListComp") {
-            return $2(v, v1._3, v1._2);
+            return go$r;
+          };
+          const go$1 = (go$1$a0$copy) => (go$1$a1$copy) => {
+            let go$1$a0 = go$1$a0$copy, go$1$a1 = go$1$a1$copy, go$1$c = true, go$1$r;
+            while (go$1$c) {
+              const v$1 = go$1$a0, v1$1 = go$1$a1;
+              if (v1$1.tag === "Nil") {
+                go$1$c = false;
+                go$1$r = v$1;
+                continue;
+              }
+              if (v1$1.tag === "Cons") {
+                go$1$a0 = $List("Cons", v1$1._1, v$1);
+                go$1$a1 = v1$1._2;
+                continue;
+              }
+              fail();
+            }
+            return go$1$r;
+          };
+          return go$1(Nil)(go(v._3)(v1._3)(Nil));
+        })())
+      );
+    }
+    if (v._3.tag === "Cons") {
+      if (v._3._2.tag === "Nil") {
+        if (v1.tag === "Paragraph") {
+          if (v._2 === "Paragraph") {
+            return $Expr2("Paragraph", paragraphElemsBwd(dictBoundedJoinSemilattice)(v._3._1)(v1._1));
           }
-          return throwException(error("ExprBwd failed, s: " + show2(v1)))();
-        }
-        if (v._3._2.tag === "Cons" && v._3._2._2.tag === "Nil" && v1.tag === "ListNonEmpty") {
-          return $Expr2("ListNonEmpty", v._1, exprBwd(dictBoundedJoinSemilattice)(v._3._1)(v1._2), desugarableListRestExpr.desugBwd(dictBoundedJoinSemilattice)(v._3._2._1)(v1._3));
+          return throwException(error("absurd"))();
         }
         if (v1.tag === "ListComp") {
-          return $2(v, v1._3, v1._2);
+          return $1(v, v1._3, v1._2);
         }
-        return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+        return throwException(error("absurd"))();
       }
-      if (v._3.tag === "Nil" && v1.tag === "ListEmpty") {
-        return $Expr2("ListEmpty", v._1);
+      if (v._3._2.tag === "Cons" && v._3._2._2.tag === "Nil" && v1.tag === "ListNonEmpty") {
+        return $Expr2("ListNonEmpty", v._1, exprBwd(dictBoundedJoinSemilattice)(v._3._1)(v1._2), desugarableListRestExpr.desugBwd(dictBoundedJoinSemilattice)(v._3._2._1)(v1._3));
       }
       if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
+        return $1(v, v1._3, v1._2);
       }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+      return throwException(error("absurd"))();
     }
-    if (v.tag === "Dictionary") {
-      if (v1.tag === "Dictionary") {
-        return $Expr2(
-          "Dictionary",
-          v._1,
-          (() => {
-            const go = (go$a0$copy) => (go$a1$copy) => (go$a2$copy) => {
-              let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$a2 = go$a2$copy, go$c = true, go$r;
-              while (go$c) {
-                const v$1 = go$a0, v1$1 = go$a1, v2 = go$a2;
-                if (v$1.tag === "Nil") {
-                  go$c = false;
-                  go$r = v2;
-                  continue;
-                }
-                if (v1$1.tag === "Nil") {
-                  go$c = false;
-                  go$r = v2;
-                  continue;
-                }
-                if (v$1.tag === "Cons" && v1$1.tag === "Cons") {
-                  go$a0 = v$1._2;
-                  go$a1 = v1$1._2;
-                  go$a2 = $List(
-                    "Cons",
-                    $Tuple(
-                      desugarableDictEntryExpr.desugBwd(dictBoundedJoinSemilattice)(v$1._1._1)(v1$1._1._1),
-                      exprBwd(dictBoundedJoinSemilattice)(v$1._1._2)(v1$1._1._2)
-                    ),
-                    v2
-                  );
-                  continue;
-                }
-                fail();
+    if (v._3.tag === "Nil" && v1.tag === "ListEmpty") {
+      return $Expr2("ListEmpty", v._1);
+    }
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Dictionary") {
+    if (v1.tag === "Dictionary") {
+      return $Expr2(
+        "Dictionary",
+        v._1,
+        (() => {
+          const go = (go$a0$copy) => (go$a1$copy) => (go$a2$copy) => {
+            let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$a2 = go$a2$copy, go$c = true, go$r;
+            while (go$c) {
+              const v$1 = go$a0, v1$1 = go$a1, v2 = go$a2;
+              if (v$1.tag === "Nil") {
+                go$c = false;
+                go$r = v2;
+                continue;
               }
-              return go$r;
-            };
-            const go$1 = (go$1$a0$copy) => (go$1$a1$copy) => {
-              let go$1$a0 = go$1$a0$copy, go$1$a1 = go$1$a1$copy, go$1$c = true, go$1$r;
-              while (go$1$c) {
-                const v$1 = go$1$a0, v1$1 = go$1$a1;
-                if (v1$1.tag === "Nil") {
-                  go$1$c = false;
-                  go$1$r = v$1;
-                  continue;
-                }
-                if (v1$1.tag === "Cons") {
-                  go$1$a0 = $List("Cons", v1$1._1, v$1);
-                  go$1$a1 = v1$1._2;
-                  continue;
-                }
-                fail();
+              if (v1$1.tag === "Nil") {
+                go$c = false;
+                go$r = v2;
+                continue;
               }
-              return go$1$r;
-            };
-            return go$1(Nil)(go(v._2)(v1._2)(Nil));
-          })()
-        );
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+              if (v$1.tag === "Cons" && v1$1.tag === "Cons") {
+                go$a0 = v$1._2;
+                go$a1 = v1$1._2;
+                go$a2 = $List(
+                  "Cons",
+                  $Tuple(
+                    desugarableDictEntryExpr.desugBwd(dictBoundedJoinSemilattice)(v$1._1._1)(v1$1._1._1),
+                    exprBwd(dictBoundedJoinSemilattice)(v$1._1._2)(v1$1._1._2)
+                  ),
+                  v2
+                );
+                continue;
+              }
+              fail();
+            }
+            return go$r;
+          };
+          const go$1 = (go$1$a0$copy) => (go$1$a1$copy) => {
+            let go$1$a0 = go$1$a0$copy, go$1$a1 = go$1$a1$copy, go$1$c = true, go$1$r;
+            while (go$1$c) {
+              const v$1 = go$1$a0, v1$1 = go$1$a1;
+              if (v1$1.tag === "Nil") {
+                go$1$c = false;
+                go$1$r = v$1;
+                continue;
+              }
+              if (v1$1.tag === "Cons") {
+                go$1$a0 = $List("Cons", v1$1._1, v$1);
+                go$1$a1 = v1$1._2;
+                continue;
+              }
+              fail();
+            }
+            return go$1$r;
+          };
+          return go$1(Nil)(go(v._2)(v1._2)(Nil));
+        })()
+      );
     }
-    if (v.tag === "Matrix") {
-      if (v1.tag === "Matrix") {
-        return $Expr2("Matrix", v._1, exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2), $Tuple(v1._3._1, v1._3._2), exprBwd(dictBoundedJoinSemilattice)(v._4)(v1._4));
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
     }
-    if (v.tag === "Lambda") {
-      if (v1.tag === "Lambda") {
-        return $Expr2("Lambda", toClausesStateBwd(clausesStateBwd(dictBoundedJoinSemilattice)($Cont("ContElim", v._2))(toClausesStateFwd(v1._1))));
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Matrix") {
+    if (v1.tag === "Matrix") {
+      return $Expr2("Matrix", v._1, exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2), $Tuple(v1._3._1, v1._3._2), exprBwd(dictBoundedJoinSemilattice)(v._4)(v1._4));
     }
-    if (v.tag === "Project") {
-      if (v1.tag === "Project") {
-        return $Expr2("Project", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), v._2);
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
     }
-    if (v.tag === "DProject") {
-      if (v1.tag === "DProject") {
-        return $Expr2("DProject", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
-      }
-      if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
-      }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "Lambda") {
+    if (v1.tag === "Lambda") {
+      return $Expr2("Lambda", toClausesStateBwd(clausesStateBwd(dictBoundedJoinSemilattice)($Cont("ContElim", v._2))(toClausesStateFwd(v1._1))));
     }
-    if (v.tag === "App") {
-      if (v1.tag === "App") {
-        return $Expr2("App", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
-      }
-      if (v._1.tag === "App") {
-        if (v._1._1.tag === "Op") {
-          if (v1.tag === "BinaryApp") {
-            return $Expr2("BinaryApp", exprBwd(dictBoundedJoinSemilattice)(v._1._2)(v1._1), v1._2, exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._3));
-          }
-          if (v1.tag === "ListComp") {
-            if (v1._3.tag === "Cons" && v1._3._1.tag === "ListCompGen") {
-              return $1(v, v1._3._1, v1._3._2, v1._2);
-            }
-            return $2(v, v1._3, v1._2);
-          }
-          return throwException(error("ExprBwd failed, s: " + show2(v1)))();
-        }
-        if (v._1._1.tag === "Var" && v._1._1._1 === "enumFromTo" && v1.tag === "ListEnum") {
-          return $Expr2("ListEnum", exprBwd(dictBoundedJoinSemilattice)(v._1._2)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "DProject") {
+    if (v1.tag === "Project") {
+      return $Expr2("Project", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), v1._2);
+    }
+    if (v1.tag === "DProject") {
+      return $Expr2("DProject", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
+    }
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "App") {
+    if (v1.tag === "App") {
+      return $Expr2("App", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
+    }
+    if (v._1.tag === "App") {
+      if (v._1._1.tag === "Op") {
+        if (v1.tag === "BinaryApp") {
+          return $Expr2("BinaryApp", exprBwd(dictBoundedJoinSemilattice)(v._1._2)(v1._1), v1._2, exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._3));
         }
         if (v1.tag === "ListComp") {
           if (v1._3.tag === "Cons" && v1._3._1.tag === "ListCompGen") {
-            return $1(v, v1._3._1, v1._3._2, v1._2);
+            return $0(v, v1._3._1, v1._3._2, v1._2);
           }
-          return $2(v, v1._3, v1._2);
+          return $1(v, v1._3, v1._2);
         }
-        return throwException(error("ExprBwd failed, s: " + show2(v1)))();
+        return throwException(error("absurd"))();
       }
-      if (v._1.tag === "Lambda") {
-        if (v1.tag === "MatchAs") {
-          return $Expr2(
-            "MatchAs",
-            exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._1),
-            (() => {
-              const $3 = toClausesStateBwd(clausesStateBwd(dictBoundedJoinSemilattice)($Cont("ContElim", v._1._2))(toClausesStateFwd($NonEmpty(
-                $Tuple($NonEmpty(v1._2._1._1, Nil), v1._2._1._2),
-                listMap((x) => $Tuple($NonEmpty(x._1, Nil), x._2))(v1._2._2)
-              ))));
-              return $NonEmpty($Tuple($3._1._1._1, $3._1._2), listMap((x) => $Tuple(x._1._1, x._2))($3._2));
-            })()
-          );
-        }
-        if (v._1._2.tag === "ElimConstr" && v1.tag === "IfElse") {
-          return $Expr2(
-            "IfElse",
-            exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._1),
-            Object.hasOwn(v._1._2._1, "True") ? exprBwd(dictBoundedJoinSemilattice)((() => {
-              const $3 = $$get(showString)(mapDictString)("True")(v._1._2._1);
-              if ($3.tag === "ContExpr") {
-                return $3._1;
-              }
-              return throwException(error("Expression expected"))();
-            })())(v1._2) : $0(v1._2),
-            Object.hasOwn(v._1._2._1, "False") ? exprBwd(dictBoundedJoinSemilattice)((() => {
-              const $3 = $$get(showString)(mapDictString)("False")(v._1._2._1);
-              if ($3.tag === "ContExpr") {
-                return $3._1;
-              }
-              return throwException(error("Expression expected"))();
-            })())(v1._3) : $0(v1._3)
-          );
+      if (v._1._1.tag === "Var" && v._1._1._1 === "range" && v1.tag === "ListEnum") {
+        if (v._2.tag === "App" && v._2._1.tag === "App") {
+          return $Expr2("ListEnum", exprBwd(dictBoundedJoinSemilattice)(v._1._2)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2._1._2)(v1._2));
         }
+        return throwException(error("absurd"))();
       }
       if (v1.tag === "ListComp") {
-        return $2(v, v1._3, v1._2);
+        if (v1._3.tag === "Cons" && v1._3._1.tag === "ListCompGen") {
+          return $0(v, v1._3._1, v1._3._2, v1._2);
+        }
+        return $1(v, v1._3, v1._2);
       }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
-    }
-    if (v1.tag === "ListComp") {
-      return $2(v, v1._3, v1._2);
+      return throwException(error("absurd"))();
     }
-    if (v.tag === "Let") {
-      if (v1.tag === "Let") {
-        const v2 = varDefsBwd(dictBoundedJoinSemilattice)($Expr("Let", v._1, v._2))($Tuple(v1._1, v1._2));
-        return $Expr2("Let", v2._1, v2._2);
+    if (v._1.tag === "Lambda") {
+      if (v1.tag === "MatchAs") {
+        return $Expr2(
+          "MatchAs",
+          exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._1),
+          (() => {
+            const $2 = toClausesStateBwd(clausesStateBwd(dictBoundedJoinSemilattice)($Cont("ContElim", v._1._2))(toClausesStateFwd($NonEmpty(
+              $Tuple($NonEmpty(v1._2._1._1, Nil), v1._2._1._2),
+              listMap((x) => $Tuple($NonEmpty(x._1, Nil), x._2))(v1._2._2)
+            ))));
+            return $NonEmpty($Tuple($2._1._1._1, $2._1._2), listMap((x) => $Tuple(x._1._1, x._2))($2._2));
+          })()
+        );
       }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
-    }
-    if (v.tag === "LetRec") {
-      if (v1.tag === "LetRec") {
-        return $Expr2("LetRec", recDefsBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
+      if (v._1._2.tag === "ElimConstr" && v1.tag === "IfElse") {
+        const v2 = ifElseBwd(dictBoundedJoinSemilattice)(v)($Tuple(v1._1, v1._2));
+        return $Expr2("IfElse", v2._1, v2._2);
       }
-      return throwException(error("ExprBwd failed, s: " + show2(v1)))();
     }
-    if (v.tag === "DocExpr" && v1.tag === "DocExpr") {
-      return $Expr2("DocExpr", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
+    if (v1.tag === "ListComp") {
+      return $1(v, v1._3, v1._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v1.tag === "ListComp") {
+    return $1(v, v1._3, v1._2);
+  }
+  if (v.tag === "Let") {
+    if (v1.tag === "Let") {
+      const v2 = varDefsBwd(dictBoundedJoinSemilattice)($Expr("Let", v._1, v._2))($Tuple(v1._1, v1._2));
+      return $Expr2("Let", v2._1, v2._2);
+    }
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "LetRec") {
+    if (v1.tag === "LetRec") {
+      return $Expr2("LetRec", recDefsBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
     }
-    return throwException(error("ExprBwd failed, s: " + show2(v1)))();
-  };
+    return throwException(error("absurd"))();
+  }
+  if (v.tag === "DocExpr" && v1.tag === "DocExpr") {
+    return $Expr2("DocExpr", exprBwd(dictBoundedJoinSemilattice)(v._1)(v1._1), exprBwd(dictBoundedJoinSemilattice)(v._2)(v1._2));
+  }
+  return throwException(error("absurd"))();
 };
 var clausesStateFwd = (dictBoundedLattice) => {
   const top = dictBoundedLattice.BoundedMeetSemilattice1().top;
@@ -15105,9 +13881,9 @@ var vcommas = (v) => {
   fail();
 };
 var getPrec = (x) => {
-  const v = lookup4(x)(opDefs);
+  const v = lookup4(x)(opMap);
   if (v.tag === "Just") {
-    return v._1.prec;
+    return v._1._4;
   }
   if (v.tag === "Nothing") {
     return -1;
@@ -15482,30 +14258,14 @@ var prettyListQualifier = (dictAnn) => ({
         if (v._1.tag === "ListCompDecl") {
           return $Doc(
             "Concat",
-            $Doc("Text", "for"),
+            $Doc("Text", "def"),
             $Doc(
               "Concat",
               $Doc("Text", " "),
               $Doc(
                 "Concat",
                 prettyPattern.pretty(v._1._1._1),
-                $Doc(
-                  "Concat",
-                  $Doc("Text", " "),
-                  $Doc(
-                    "Concat",
-                    $Doc("Text", "in"),
-                    $Doc(
-                      "Concat",
-                      $Doc("Text", " "),
-                      $Doc(
-                        "Concat",
-                        $Doc("Text", "["),
-                        $Doc("Concat", prettyExpr1(dictAnn).pretty(v._1._1._2), $Doc("Text", "]"))
-                      )
-                    )
-                  )
-                )
+                $Doc("Concat", $Doc("Text", ":"), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v._1._1._2)))
               )
             )
           );
@@ -15740,63 +14500,64 @@ var prettyExpr1 = (dictAnn) => {
         );
       }
       if (v.tag === "IfElse") {
-        return $Doc(
+        const prettyClause1 = (w) => (v1) => $Doc(
           "Concat",
-          $Doc("Text", "if"),
+          $Doc("Text", w),
           $Doc(
             "Concat",
             $Doc("Text", " "),
             $Doc(
               "Concat",
-              expr(prettyExpr1(dictAnn).pretty(v._1)),
+              expr(prettyExpr1(dictAnn).pretty(v1._1)),
               (() => {
-                const $1 = prettyExpr1(dictAnn).pretty(v._2);
+                const $1 = prettyExpr1(dictAnn).pretty(v1._2);
                 return $Doc(
-                  "Concat",
+                  "StmtOrExpr",
                   $Doc(
-                    "StmtOrExpr",
-                    $Doc(
-                      "Concat",
-                      $Doc("Text", ":"),
-                      $Doc(
-                        "InlOrMul",
-                        $Doc("Concat", $Doc("Text", " "), $1),
-                        $Doc("Indent", $Doc("Concat", Line, $1))
-                      )
-                    ),
+                    "Concat",
+                    $Doc("Text", ":"),
                     $Doc(
-                      "Concat",
-                      $Doc("Text", ":"),
-                      $Doc("Concat", $Doc("Text", " "), $Doc("Concat", $1, $Doc("Text", ";")))
+                      "InlOrMul",
+                      $Doc("Concat", $Doc("Text", " "), $1),
+                      $Doc("Indent", $Doc("Concat", Line, $1))
                     )
                   ),
                   $Doc(
                     "Concat",
-                    Line,
+                    $Doc("Text", ":"),
+                    $Doc("Concat", $Doc("Text", " "), $Doc("Concat", $1, $Doc("Text", ";")))
+                  )
+                );
+              })()
+            )
+          )
+        );
+        return $Doc(
+          "Concat",
+          vsep($List("Cons", prettyClause1("if")(v._1._1), listMap(prettyClause1("elif"))(v._1._2))),
+          $Doc(
+            "Concat",
+            Line,
+            $Doc(
+              "Concat",
+              $Doc("Text", "else"),
+              (() => {
+                const $1 = prettyExpr1(dictAnn).pretty(v._2);
+                return $Doc(
+                  "StmtOrExpr",
+                  $Doc(
+                    "Concat",
+                    $Doc("Text", ":"),
                     $Doc(
-                      "Concat",
-                      $Doc("Text", "else"),
-                      (() => {
-                        const $2 = prettyExpr1(dictAnn).pretty(v._3);
-                        return $Doc(
-                          "StmtOrExpr",
-                          $Doc(
-                            "Concat",
-                            $Doc("Text", ":"),
-                            $Doc(
-                              "InlOrMul",
-                              $Doc("Concat", $Doc("Text", " "), $2),
-                              $Doc("Indent", $Doc("Concat", Line, $2))
-                            )
-                          ),
-                          $Doc(
-                            "Concat",
-                            $Doc("Text", ":"),
-                            $Doc("Concat", $Doc("Text", " "), $Doc("Concat", $2, $Doc("Text", ";")))
-                          )
-                        );
-                      })()
+                      "InlOrMul",
+                      $Doc("Concat", $Doc("Text", " "), $1),
+                      $Doc("Indent", $Doc("Concat", Line, $1))
                     )
+                  ),
+                  $Doc(
+                    "Concat",
+                    $Doc("Text", ":"),
+                    $Doc("Concat", $Doc("Text", " "), $Doc("Concat", $1, $Doc("Text", ";")))
                   )
                 );
               })()
@@ -16043,9 +14804,10 @@ var binaryApp = (dictAnn) => (v) => (v1) => {
   if (v1.tag === "BinaryApp") {
     const v2 = getPrec(v1._2);
     if (v2 === -1) {
+      const customPrec = getPrec("|x|");
       return $Doc(
         "Concat",
-        binaryApp(dictAnn)(0)(v1._1),
+        binaryApp(dictAnn)(customPrec)(v1._1),
         $Doc(
           "Concat",
           $Doc("Text", " "),
@@ -16055,7 +14817,7 @@ var binaryApp = (dictAnn) => (v) => (v1) => {
             $Doc(
               "Concat",
               $Doc("Text", v1._2),
-              $Doc("Concat", $Doc("Text", "|"), $Doc("Concat", $Doc("Text", " "), binaryApp(dictAnn)(0)(v1._3)))
+              $Doc("Concat", $Doc("Text", "|"), $Doc("Concat", $Doc("Text", " "), binaryApp(dictAnn)(customPrec)(v1._3)))
             )
           )
         )
@@ -16773,6 +15535,10 @@ var traversableBaseVal = {
   Foldable1: () => foldableBaseVal
 };
 var annUnit = { Highlightable0: () => highlightableUnit, BoundedLattice1: () => boundedLattice };
+var val = (dictMonadWithGraphAlloc) => {
+  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
+  return (doc_opt) => $$new((a) => Val(a)(doc_opt));
+};
 var reaches = (\u03C1) => (xs) => {
   const dom_\u03C1 = mapObjectString.keys(\u03C1);
   const go = (go$a0$copy) => (go$a1$copy) => {
@@ -16806,25 +15572,23 @@ var reaches = (\u03C1) => (xs) => {
   return go(toUnfoldable13(xs))(setSet1.empty);
 };
 var matrixPut = (i) => (j) => (\u03B4v) => (v) => {
-  const vs_i = unsafeArrayArray.unsafeIndex(v._1)(i - 1 | 0);
+  const vs_i = unsafeArrayArray.unsafeIndex(v._1)(i);
   return $Tuple(
     definitely("index within bounds")(_updateAt(
       Just,
       Nothing,
-      i - 1 | 0,
-      definitely("index within bounds")(_updateAt(Just, Nothing, j - 1 | 0, \u03B4v(unsafeArrayArray.unsafeIndex(vs_i)(j - 1 | 0)), vs_i)),
+      i,
+      definitely("index within bounds")(_updateAt(Just, Nothing, j, \u03B4v(unsafeArrayArray.unsafeIndex(vs_i)(j)), vs_i)),
       v._1
     )),
     $Tuple(v._2._1, v._2._2)
   );
 };
 var matrixGet = (i) => (j) => (v) => definitely("index out of bounds!")((() => {
-  const $0 = i - 1 | 0;
-  if ($0 >= 0 && $0 < v._1.length) {
-    const $1 = v._1[$0];
-    const $2 = j - 1 | 0;
-    if ($2 >= 0 && $2 < $1.length) {
-      return $Maybe("Just", $1[$2]);
+  if (i >= 0 && i < v._1.length) {
+    const $0 = v._1[i];
+    if (j >= 0 && j < $0.length) {
+      return $Maybe("Just", $0[j]);
     }
   }
   return Nothing;
@@ -16862,11 +15626,10 @@ var unary = (dictBoundedJoinSemilattice) => {
             $ForeignOp$p({
               arity: 1,
               op: (dictMonadWithGraphAlloc) => {
-                const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
-                return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
+                const val2 = val(dictMonadWithGraphAlloc);
+                return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (doc_opt) => (v) => {
                   if (v.tag === "Cons" && v._2.tag === "Nil") {
-                    const $0 = v._1._2;
-                    return $$new((a) => Val(a)($0))($$$Map("Node", 1, 1, v._1._1, void 0, Leaf2, Leaf2))(f.o.pack(f.fwd(f.i.unpack(v._1._3))));
+                    return val2(doc_opt)($$$Map("Node", 1, 1, v._1._1, void 0, Leaf2, Leaf2))(f.o.pack(f.fwd(f.i.unpack(v._1._3))));
                   }
                   fail();
                 };
@@ -17011,12 +15774,12 @@ var binaryZero = (dictBoundedJoinSemilattice) => {
             $ForeignOp$p({
               arity: 2,
               op: (dictMonadWithGraphAlloc) => {
-                const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
-                return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
+                const val2 = val(dictMonadWithGraphAlloc);
+                return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (doc_opt) => (v) => {
                   if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
                     const $0 = f.i.unpack(v._1._3);
                     const $1 = f.i.unpack(v._2._1._3);
-                    return val((() => {
+                    return val2(doc_opt)((() => {
                       if (dictIsZero.isZero($0)) {
                         return $$$Map("Node", 1, 1, v._1._1, void 0, Leaf2, Leaf2);
                       }
@@ -17061,10 +15824,10 @@ var binary = (dictBoundedJoinSemilattice) => {
             $ForeignOp$p({
               arity: 2,
               op: (dictMonadWithGraphAlloc) => {
-                const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
-                return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
+                const val2 = val(dictMonadWithGraphAlloc);
+                return (dictMonadError) => (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (doc_opt) => (v) => {
                   if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
-                    return val(insert(ordVertex)(v._2._1._1)()($$$Map(
+                    return val2(doc_opt)(insert(ordVertex)(v._2._1._1)()($$$Map(
                       "Node",
                       1,
                       1,
@@ -17149,7 +15912,7 @@ var fromFoldable10 = /* @__PURE__ */ (() => {
     return go$1(x, Nil);
   })());
 })();
-var show22 = /* @__PURE__ */ (() => showSet(showString).show)();
+var show2 = /* @__PURE__ */ (() => showSet(showString).show)();
 var toUnfoldable6 = (x) => {
   const go = (m$p, z$p) => {
     if (m$p.tag === "Leaf") {
@@ -17340,12 +16103,12 @@ var match = (dictMonadWithGraphAlloc) => {
         const $2 = v._3._1;
         const $3 = v._1;
         const $4 = v1._2;
-        return Bind1.bind(check(MonadThrow0)(unsafeDifference(ordString.compare, $1, fromFoldable10(mapObjectString.keys($2))).tag === "Leaf")("Pattern mismatch: found " + show22(mapObjectString.keys($2)) + ", expected " + show22($1)))(() => Bind1.bind(matchMany(dictMonadWithGraphAlloc)(listMap((k) => $$get(showString)(mapObjectString)(k)($2)._2)(toUnfoldable6($1)))($4))((v2) => $0.pure($Tuple(
+        return Bind1.bind(check(MonadThrow0)(unsafeDifference(ordString.compare, $1, fromFoldable10(mapObjectString.keys($2))).tag === "Leaf")("Pattern mismatch: found " + show2(mapObjectString.keys($2)) + ", expected " + show2($1)))(() => Bind1.bind(matchMany(dictMonadWithGraphAlloc)(listMap((k) => $$get(showString)(mapObjectString)(k)($2)._2)(toUnfoldable6($1)))($4))((v2) => $0.pure($Tuple(
           v2._1,
           $Tuple(v2._2._1, insert(ordVertex)($3)()(v2._2._2))
         ))));
       }
-      return MonadThrow0.throwError(error("Pattern mismatch: found " + renderWithIndent(Stmt)(0)(0)(prettyVal(highlightableVertex).pretty(v))._1 + ", expected " + show22(v1._1)));
+      return MonadThrow0.throwError(error("Pattern mismatch: found " + renderWithIndent(Stmt)(0)(0)(prettyVal(highlightableVertex).pretty(v))._1 + ", expected " + show2(v1._1)));
     }
     fail();
   };
@@ -17353,10 +16116,10 @@ var match = (dictMonadWithGraphAlloc) => {
 var closeDefs = (dictMonadWithGraphAlloc) => {
   const Monad0 = dictMonadWithGraphAlloc.MonadWithGraph2().Monad0();
   const traverse2$1 = traversableDict.traverse(Monad0.Applicative0());
-  const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+  const val2 = val(dictMonadWithGraphAlloc);
   return (\u03B3) => (\u03C1) => (\u03B1s) => Monad0.Bind1().Apply0().Functor0().map(Env)(traverse2$1((\u03C3) => {
     const \u03C1$p = forDefs(\u03C1)(\u03C3);
-    return val(\u03B1s)($BaseVal(
+    return val2(Nothing)(\u03B1s)($BaseVal(
       "Fun",
       $Fun(
         "Closure",
@@ -17398,7 +16161,7 @@ var evalVal = (dictMonadWithGraphAlloc) => {
       if (v1.tag === "Dictionary") {
         const $1 = v1._1;
         return Bind1.bind($0.map(unzip3)(traverse3(traverse4((() => {
-          const $2 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v);
+          const $2 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(v);
           return (a) => $2(a)(v2);
         })()))(v1._2)))((v3) => {
           const v4 = unzip(listMap((v$1) => $Tuple(v$1._3.tag === "Str" ? v$1._3._1 : typeError(v$1._3)("Str"), v$1._1))(v3._1));
@@ -17525,7 +16288,7 @@ var evalVal = (dictMonadWithGraphAlloc) => {
           };
           return go(0)($2);
         })()))(() => Bind1.bind(traverse3((() => {
-          const $4 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v);
+          const $4 = $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(v);
           return (a) => $4(a)(v2);
         })())($2))((vs) => Applicative0.pure($Maybe("Just", $Tuple($3, $BaseVal("Constr", $1, vs))))));
       }
@@ -17534,7 +16297,7 @@ var evalVal = (dictMonadWithGraphAlloc) => {
         const $2 = v1._3._1;
         const $3 = v1._3._2;
         const $4 = v1._1;
-        return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(v1._4)(v2))((v3) => {
+        return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(v)(v1._4)(v2))((v3) => {
           const v5 = intPair.unpack(v3._3);
           const $5 = v5._1._1;
           const $6 = v5._2._1;
@@ -17543,9 +16306,9 @@ var evalVal = (dictMonadWithGraphAlloc) => {
           return Bind1.bind(check2(greaterThanOrEq($Tuple($5, $6))($Tuple(1, 1)))("array must be at least (" + show3($Tuple(1, 1)) + "); got (" + show3($Tuple(
             $5,
             $6
-          )) + ")"))(() => Bind1.bind(sequence1(arrayBind(rangeImpl(1, $5))((i) => [
-            sequence1(arrayBind(rangeImpl(1, $6))((j) => [
-              $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity13)(v)(disjointUnion2((() => {
+          )) + ")"))(() => Bind1.bind(sequence1(arrayBind(rangeImpl(0, $5 - 1 | 0))((i) => [
+            sequence1(arrayBind(rangeImpl(0, $6 - 1 | 0))((j) => [
+              $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(unionWith((v$1) => identity13)(v)(disjointUnion2((() => {
                 const $9 = {};
                 $9[$2] = $Val($7, Nothing, $BaseVal("Int", i));
                 return $9;
@@ -17589,17 +16352,17 @@ var evalVal = (dictMonadWithGraphAlloc) => {
   };
 };
 var $$eval = (dictMonadWithGraphAlloc) => {
-  const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
   const MonadError1 = dictMonadWithGraphAlloc.MonadError1();
   const withMsg2 = withMsg(MonadError1);
   const MonadThrow0 = MonadError1.MonadThrow0();
   const match1 = match(dictMonadWithGraphAlloc);
   const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
-  const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
   return (dictMonadReader) => (dictMonadAff) => {
     const Monad0 = dictMonadAff.MonadEffect0().Monad0();
-    const $0 = Monad0.Bind1();
-    return (dictLoadFile) => (\u03B3) => (e0) => (\u03B1s) => {
+    const Bind1 = Monad0.Bind1();
+    const traceWhen2 = traceWhen(Monad0.Applicative0());
+    return (dictLoadFile) => (doc_opt) => (\u03B3) => (e0) => (\u03B1s) => {
       const funName = (funName$a0$copy) => {
         let funName$a0 = funName$a0$copy, funName$c = true, funName$r;
         while (funName$c) {
@@ -17623,35 +16386,47 @@ var $$eval = (dictMonadWithGraphAlloc) => {
         }
         return funName$r;
       };
-      return $0.bind(evalVal(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)(e0)(\u03B1s))((\u03B1u_opt) => {
+      return Bind1.bind(evalVal(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)(e0)(\u03B1s))((\u03B1u_opt) => {
         if (\u03B1u_opt.tag === "Just") {
-          return val(insert(ordVertex)(\u03B1u_opt._1._1)()(\u03B1s))(\u03B1u_opt._1._2);
+          return $$new((a) => Val(a)(doc_opt))(insert(ordVertex)(\u03B1u_opt._1._1)()(\u03B1s))(\u03B1u_opt._1._2);
         }
         if (\u03B1u_opt.tag === "Nothing") {
           if (e0.tag === "Var") {
-            return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(e0._1)(\u03B3));
+            const $0 = e0._1;
+            return Bind1.bind(traceWhen2((() => {
+              if (doc_opt.tag === "Nothing") {
+                return false;
+              }
+              if (doc_opt.tag === "Just") {
+                return true;
+              }
+              fail();
+            })())("Discarding doc (variable " + $0 + ")"))(() => withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)($0)(\u03B3)));
           }
           if (e0.tag === "Op") {
-            return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(e0._1)(\u03B3));
-          }
-          if (e0.tag === "Project") {
-            const $1 = e0._2;
-            return $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)(e0._1)(\u03B1s))((v) => {
-              if (v._3.tag === "Dictionary") {
-                return withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + $1 + '" not found')((() => {
-                  const $2 = _lookup(Nothing, Just, $1, v._3._1);
-                  if ($2.tag === "Just") {
-                    return $Maybe("Just", $2._1._2);
-                  }
-                  return Nothing;
-                })()));
+            const $0 = e0._1;
+            return Bind1.bind(traceWhen2((() => {
+              if (doc_opt.tag === "Nothing") {
+                return false;
               }
-              return MonadThrow0.throwError(error("Found " + renderWithIndent(Stmt)(0)(0)(prettyVal(highlightableVertex).pretty(v))._1 + ", expected dictionary"));
-            });
+              if (doc_opt.tag === "Just") {
+                return true;
+              }
+              fail();
+            })())("Discarding doc (operator " + $0 + ")"))(() => withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)($0)(\u03B3)));
           }
           if (e0.tag === "DProject") {
+            const $0 = e0._1;
             const $1 = e0._2;
-            return $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)(e0._1)(\u03B1s))((v) => $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)($1)(\u03B1s))((v$p) => {
+            return Bind1.bind(traceWhen2((() => {
+              if (doc_opt.tag === "Nothing") {
+                return false;
+              }
+              if (doc_opt.tag === "Just") {
+                return true;
+              }
+              fail();
+            })())("Discarding doc (projection)"))(() => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(\u03B3)($0)(\u03B1s))((v) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(\u03B3)($1)(\u03B1s))((v$p) => {
               if (v._3.tag === "Dictionary") {
                 if (v$p._3.tag === "Str") {
                   return withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + v$p._3._1 + '" not found')((() => {
@@ -17665,45 +16440,45 @@ var $$eval = (dictMonadWithGraphAlloc) => {
                 return MonadThrow0.throwError(error("Found " + renderWithIndent(Stmt)(0)(0)(prettyVal(highlightableVertex).pretty(v$p))._1 + ", expected string"));
               }
               return MonadThrow0.throwError(error("Found " + renderWithIndent(Stmt)(0)(0)(prettyVal(highlightableVertex).pretty(v))._1 + ", expected dict"));
-            }));
+            })));
           }
           if (e0.tag === "App") {
-            const $1 = e0._1;
-            const $2 = e0._2;
-            return $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)($1)(\u03B1s))((v) => $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)($2)(\u03B1s))((v$p) => withMsg2("In " + funName($1))(apply2(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(v$p))));
+            const $0 = e0._1;
+            const $1 = e0._2;
+            return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(\u03B3)($0)(\u03B1s))((v) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(\u03B3)($1)(\u03B1s))((v$p) => withMsg2("In " + funName($0))(apply2(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(doc_opt)(v)(v$p))));
           }
           if (e0.tag === "Let") {
-            const $1 = e0._2;
-            const $2 = e0._1._1;
-            return $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)(e0._1._2)(\u03B1s))((v) => $0.bind(withMsg2("In variable def")(match1(v)($2)))((v1) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity13)(\u03B3)(v1._1))($1)(v1._2._2)));
+            const $0 = e0._2;
+            const $1 = e0._1._1;
+            return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(\u03B3)(e0._1._2)(\u03B1s))((v) => Bind1.bind(withMsg2("In variable def")(match1(v)($1)))((v1) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(doc_opt)(unionWith((v$1) => identity13)(\u03B3)(v1._1))($0)(v1._2._2)));
           }
           if (e0.tag === "LetRec") {
-            const $1 = e0._2;
-            const $2 = e0._1._1;
-            return $0.bind(closeDefs1(\u03B3)(e0._1._2)(insert(ordVertex)($2)()(\u03B1s)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith((v) => identity13)(\u03B3)(\u03B3$p))($1)(insert(ordVertex)($2)()(\u03B1s)));
+            const $0 = e0._2;
+            const $1 = e0._1._1;
+            return Bind1.bind(closeDefs1(\u03B3)(e0._1._2)(insert(ordVertex)($1)()(\u03B1s)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(doc_opt)(unionWith((v) => identity13)(\u03B3)(\u03B3$p))($0)(insert(ordVertex)($1)()(\u03B1s)));
           }
           if (e0.tag === "DocExpr") {
-            const $1 = e0._1;
-            const $2 = e0._2;
-            return $0.bind(evalVal(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)($2)(\u03B1s))((\u03B1u_opt$p) => {
-              if (\u03B1u_opt$p.tag === "Just") {
-                const $3 = \u03B1u_opt$p._1._2;
-                const $4 = \u03B1u_opt$p._1._1;
-                return $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)($1)(\u03B1s))((v) => $$new((a) => Val(a)($Maybe("Just", v)))(insert(ordVertex)($4)()(\u03B1s))($3));
+            const $0 = e0._2;
+            return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(Nothing)(\u03B3)(e0._1)(\u03B1s))((v) => Bind1.bind(traceWhen2((() => {
+              if (doc_opt.tag === "Nothing") {
+                return false;
               }
-              if (\u03B1u_opt$p.tag === "Nothing") {
-                return $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)($2)(\u03B1s))((v) => {
-                  const $3 = v._3;
-                  const $4 = v._1;
-                  return $0.bind($$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(\u03B3)($1)(\u03B1s))((v1) => Monad0.Applicative0().pure($Val(
-                    $4,
-                    $Maybe("Just", v1),
-                    $3
-                  )));
-                });
+              if (doc_opt.tag === "Just") {
+                return true;
               }
               fail();
-            });
+            })())("Outer doc trumps inner doc"))(() => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)($Maybe(
+              "Just",
+              (() => {
+                if (doc_opt.tag === "Nothing") {
+                  return v;
+                }
+                if (doc_opt.tag === "Just") {
+                  return doc_opt._1;
+                }
+                fail();
+              })()
+            ))(\u03B3)($0)(\u03B1s)));
           }
           return throwException(error("absurd"))();
         }
@@ -17715,23 +16490,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
 var apply2 = (dictMonadWithGraphAlloc) => {
   const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
   const match1 = match(dictMonadWithGraphAlloc);
-  const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+  const val2 = val(dictMonadWithGraphAlloc);
   const MonadError1 = dictMonadWithGraphAlloc.MonadError1();
   const MonadThrow0 = MonadError1.MonadThrow0();
   return (dictMonadReader) => (dictMonadAff) => {
     const Bind1 = dictMonadAff.MonadEffect0().Monad0().Bind1();
-    return (dictLoadFile) => (v) => (v1) => {
-      const $0 = (v2) => MonadThrow0.throwError(error("Found " + renderWithIndent(Stmt)(0)(0)(prettyVal(highlightableVertex).pretty(v2))._1 + ", expected function"));
-      if (v._3.tag === "Fun") {
-        if (v._3._1.tag === "Closure") {
-          const $1 = v._1;
-          const $2 = v._3._1._1;
-          const $3 = v._3._1._3;
-          return Bind1.bind(closeDefs1($2)(v._3._1._2)($$$Map("Node", 1, 1, $1, void 0, Leaf2, Leaf2)))((\u03B32) => Bind1.bind(match1(v1)($3))((v3) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(unionWith((v$1) => identity13)(unionWith((v$1) => identity13)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert(ordVertex)($1)()(v3._2._2))));
+    return (dictLoadFile) => (v) => (v1) => (v2) => {
+      const $0 = (v3) => MonadThrow0.throwError(error("Found " + renderWithIndent(Stmt)(0)(0)(prettyVal(highlightableVertex).pretty(v3))._1 + ", expected function"));
+      if (v1._3.tag === "Fun") {
+        if (v1._3._1.tag === "Closure") {
+          const $1 = v1._1;
+          const $2 = v1._3._1._1;
+          const $3 = v1._3._1._3;
+          return Bind1.bind(closeDefs1($2)(v1._3._1._2)($$$Map("Node", 1, 1, $1, void 0, Leaf2, Leaf2)))((\u03B32) => Bind1.bind(match1(v2)($3))((v4) => $$eval(dictMonadWithGraphAlloc)(dictMonadReader)(dictMonadAff)(dictLoadFile)(v)(unionWith((v$1) => identity13)(unionWith((v$1) => identity13)($2)(\u03B32))(v4._1))(v4._2._1.tag === "ContExpr" ? v4._2._1._1 : throwException(error("Expression expected"))())(insert(ordVertex)($1)()(v4._2._2))));
         }
-        if (v._3._1.tag === "Foreign") {
-          const $1 = v._3._1._1._2;
-          const vs$p = foldableList.foldr(Cons)($List("Cons", v1, Nil))(v._3._1._2);
+        if (v1._3._1.tag === "Foreign") {
+          const $1 = v1._3._1._1._2;
+          const vs$p = foldableList.foldr(Cons)($List("Cons", v2, Nil))(v1._3._1._2);
           if ((() => {
             const go = (go$a0$copy) => (go$a1$copy) => {
               let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$c = true, go$r;
@@ -17753,16 +16528,16 @@ var apply2 = (dictMonadWithGraphAlloc) => {
             };
             return $1._1.arity > go(0)(vs$p);
           })()) {
-            return val($$$Map("Node", 1, 1, v._1, void 0, Leaf2, Leaf2))($BaseVal(
+            return val2(v)($$$Map("Node", 1, 1, v1._1, void 0, Leaf2, Leaf2))($BaseVal(
               "Fun",
-              $Fun("Foreign", $Tuple(v._3._1._1._1, $1), vs$p)
+              $Fun("Foreign", $Tuple(v1._3._1._1._1, $1), vs$p)
             ));
           }
-          return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictMonadAff)(dictMonadReader)(dictLoadFile)(vs$p);
+          return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictMonadAff)(dictMonadReader)(dictLoadFile)(v)(vs$p);
         }
-        if (v._3._1.tag === "PartialConstr") {
-          const $1 = v._1;
-          const n = defined(arity(monadThrowExceptT(monadIdentity))(v._3._1._1));
+        if (v1._3._1.tag === "PartialConstr") {
+          const $1 = v1._1;
+          const n = defined(arity(monadThrowExceptT(monadIdentity))(v1._3._1._1));
           const v$p = (() => {
             const go = (go$a0$copy) => (go$a1$copy) => {
               let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$c = true, go$r;
@@ -17782,18 +16557,18 @@ var apply2 = (dictMonadWithGraphAlloc) => {
               }
               return go$r;
             };
-            return go(0)(v._3._1._2) < (n - 1 | 0);
+            return go(0)(v1._3._1._2) < (n - 1 | 0);
           })() ? $BaseVal(
             "Fun",
             $Fun(
               "PartialConstr",
-              v._3._1._1,
-              foldableList.foldr(Cons)($List("Cons", v1, Nil))(v._3._1._2)
+              v1._3._1._1,
+              foldableList.foldr(Cons)($List("Cons", v2, Nil))(v1._3._1._2)
             )
           ) : $BaseVal(
             "Constr",
-            v._3._1._1,
-            foldableList.foldr(Cons)($List("Cons", v1, Nil))(v._3._1._2)
+            v1._3._1._1,
+            foldableList.foldr(Cons)($List("Cons", v2, Nil))(v1._3._1._2)
           );
           return Bind1.bind(check(MonadThrow0)((() => {
             const go = (go$a0$copy) => (go$a1$copy) => {
@@ -17814,8 +16589,8 @@ var apply2 = (dictMonadWithGraphAlloc) => {
               }
               return go$r;
             };
-            return go(0)(v._3._1._2) < n;
-          })())("Too many arguments to " + showCtr(v._3._1._1)))(() => val($$$Map(
+            return go(0)(v1._3._1._2) < n;
+          })())("Too many arguments to " + showCtr(v1._3._1._1)))(() => val2(v)($$$Map(
             "Node",
             1,
             1,
@@ -17826,7 +16601,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
           ))(v$p));
         }
       }
-      return $0(v1);
+      return $0(v2);
     };
   };
 };
@@ -17851,7 +16626,7 @@ var eval_module = (dictMonadWithGraphAlloc) => {
               if (v1._1.tag === "Left") {
                 const $1 = v1._2;
                 const $2 = v1._1._1._1;
-                return $0.bind(eval4(unionWith((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
+                return $0.bind(eval4(Nothing)(unionWith((v$1) => identity13)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity13)(v)(v4._1))($1)(v4._2._2)));
               }
               if (v1._1.tag === "Right") {
                 const $1 = v1._2;
@@ -17987,7 +16762,7 @@ var graphEval = (dictMonadAff) => {
         const $3 = v["\u03B3"];
         const $4 = spyFunWhen(false)("fwdSlice")((x) => $Tuple(showVertices(x._1), showEdgeList(toEdgeList(graphGraphImpl)(x._2))))(showGraph(graphGraphImpl))(fwdSlice2);
         const $5 = spyFunWhen(false)("bwdSlice")((x) => $Tuple(showVertices(x._1), showEdgeList(toEdgeList(graphGraphImpl)(x._2))))(showGraph(graphGraphImpl))(bwdSlice2);
-        return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc2(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1($3)(e\u03B1)(mempty3))(verticesEnvExprVertex.vertices($EnvExpr(
+        return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc2(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1(Nothing)($3)(e\u03B1)(mempty3))(verticesEnvExprVertex.vertices($EnvExpr(
           $3,
           e\u03B1
         ))))((v1) => {
@@ -19298,7 +18073,7 @@ var stringChar = /* @__PURE__ */ withErrorMessage((state1, more, lift12, $$throw
   $$throw2,
   (state2, a) => more((v2) => done(state2, $Maybe("Just", a)))
 )))("string character");
-var opChars = [":", "!", "#", "$", "%", "&", "*", "+", ".", "/", "<", "=", ">", "?", "@", "\\", "^", "|", "-", "~"];
+var opChars = [":", "!", "#", "$", "%", "&", "*", "+", ".", "/", "<", "=", ">", "?", "\\", "^", "|", "-", "~"];
 var lexeme = (v) => (state1, more, lift12, $$throw2, done) => more((v2) => more((v1) => v(
   state1,
   more,
@@ -19413,7 +18188,7 @@ var reserved = (expected) => {
       ));
     };
   })())((() => {
-    const $02 = oneOf(["_", "'"]);
+    const $02 = withErrorMessage(satisfy((v) => v === "_"))("'_'");
     return (v2, $1, $2, $3, $4) => {
       const $5 = v2._1;
       const $6 = v2._2;
@@ -19473,7 +18248,7 @@ var variable = /* @__PURE__ */ unreserved(/* @__PURE__ */ identifier(/* @__PURE_
     ));
   };
 })())(/* @__PURE__ */ (() => {
-  const $0 = oneOf(["_", "'"]);
+  const $0 = withErrorMessage(satisfy((v) => v === "_"))("'_'");
   return (v2, $1, $2, $3, $4) => {
     const $5 = v2._1;
     const $6 = v2._2;
@@ -19500,7 +18275,7 @@ var delim = (dictParseable) => (a) => {
 };
 var parens = /* @__PURE__ */ between(/* @__PURE__ */ delim(parseableChar)("("))(/* @__PURE__ */ delim(parseableChar)(")"));
 var trailingCommas = (p) => sepEndBy(p)(delim(parseableChar)(","));
-var fields = (key) => (val) => trailingCommas((state1, more, lift12, $$throw2, done) => more((v1) => key(
+var fields = (key) => (val2) => trailingCommas((state1, more, lift12, $$throw2, done) => more((v1) => key(
   state1,
   more,
   lift12,
@@ -19515,7 +18290,7 @@ var fields = (key) => (val) => trailingCommas((state1, more, lift12, $$throw2, d
       $$throw2,
       (state2$1, a$1) => more((v2$1) => {
         const $2 = $1._3 && !state2$1._3 ? $ParseState(state2$1._1, state2$1._2, true) : state2$1;
-        return more((v1$2) => val(
+        return more((v1$2) => val2(
           $2,
           more,
           lift12,
@@ -19549,7 +18324,7 @@ var context = (s) => (p) => (state1, more, lift12, $$throw2, done) => more((v1)
   })
 ));
 var constructor = /* @__PURE__ */ unreserved(/* @__PURE__ */ identifier(upper2)(/* @__PURE__ */ (() => {
-  const $0 = oneOf(["_", "'"]);
+  const $0 = withErrorMessage(satisfy((v) => v === "_"))("'_'");
   return (v2, $1, $2, $3, $4) => {
     const $5 = v2._1;
     const $6 = v2._2;
@@ -20299,7 +19074,24 @@ var pattern$lazy = /* @__PURE__ */ binding(() => lazyParserT.defer((v) => foldlA
   [$Operator("Infix", pConsOp, AssocRight)]
 ])));
 var pattern = /* @__PURE__ */ pattern$lazy();
-var infixFn = /* @__PURE__ */ (() => {
+var infixSymbol = (op) => (state1, more, lift12, $$throw2, done) => more((v1) => reservedOperator(op)(
+  state1,
+  more,
+  lift12,
+  $$throw2,
+  (state2, a) => more((v2) => done(state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2, (e) => (e$p) => $Expr2("BinaryApp", e, op, e$p)))
+));
+var infixIdent = (op) => {
+  const $0 = reserved(op);
+  return (state1, more, lift12, $$throw2, done) => more((v1) => $0(
+    state1,
+    more,
+    lift12,
+    $$throw2,
+    (state2, a) => more((v2) => done(state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2, (e) => (e$p) => $Expr2("BinaryApp", e, op, e$p)))
+  ));
+};
+var infixCustom = /* @__PURE__ */ (() => {
   const $0 = delim(parseableChar)("|");
   return (state1, more, lift12, $$throw2, done) => more((v1) => {
     const $1 = state1._3;
@@ -20399,38 +19191,35 @@ var consOp = (state1, more, lift12, $$throw2, done) => more((v1) => reservedOper
     (e) => (e$p) => $Expr2("Constr", void 0, ":", $List("Cons", e, $List("Cons", e$p, Nil)))
   ))
 ));
-var binaryOp = (op) => (state1, more, lift12, $$throw2, done) => more((v1) => reservedOperator(op)(
-  state1,
-  more,
-  lift12,
-  $$throw2,
-  (state2, a) => more((v2) => done(state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2, (e) => (e$p) => $Expr2("BinaryApp", e, op, e$p)))
-));
-var binaryOps = [
-  [
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("!"), AssocLeft),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("**"), AssocRight)
-  ],
-  [
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("*"), AssocLeft),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("/"), AssocLeft)
-  ],
-  [
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("+"), AssocLeft),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("-"), AssocLeft)
-  ],
-  [/* @__PURE__ */ $Operator("Infix", consOp, AssocRight)],
-  [/* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("++"), AssocRight)],
-  [
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("=="), AssocNone),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("/="), AssocNone),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("<"), AssocLeft),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp(">"), AssocLeft),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp("<="), AssocLeft),
-    /* @__PURE__ */ $Operator("Infix", /* @__PURE__ */ binaryOp(">="), AssocLeft)
-  ],
-  [/* @__PURE__ */ $Operator("Infix", infixFn, AssocLeft)]
-];
+var opTable = /* @__PURE__ */ arrayMap(/* @__PURE__ */ arrayMap((v) => $Operator(
+  "Infix",
+  (() => {
+    if (v._1 === "Symbol") {
+      return infixSymbol(v._2);
+    }
+    if (v._1 === "Ident") {
+      return infixIdent(v._2);
+    }
+    if (v._1 === "ConsOp") {
+      return consOp;
+    }
+    if (v._1 === "Custom") {
+      return infixCustom;
+    }
+    fail();
+  })(),
+  v._3
+)))(/* @__PURE__ */ sortBy((x) => (y) => ordInt.compare((() => {
+  if (0 < x.length) {
+    return -x[0]._4;
+  }
+  fail();
+})())((() => {
+  if (0 < y.length) {
+    return -y[0]._4;
+  }
+  fail();
+})()))(/* @__PURE__ */ groupBy((a) => (b) => a._4 === b._4)(opDefs)));
 var varDefs$lazy = /* @__PURE__ */ binding(() => many1((() => {
   const $0 = reserved("def");
   const $1 = delim(parseableChar)(":");
@@ -21133,7 +19922,48 @@ var expr$lazy = /* @__PURE__ */ binding(() => {
                             })
                           ));
                         })()),
-                        (() => {
+                        context("listCompDecl")((() => {
+                          const $43 = reserved("def");
+                          return (state1$2, more$2, lift1$2, throw$2, done$2) => more$2((v1$2) => $43(
+                            state1$2,
+                            more$2,
+                            lift1$2,
+                            throw$2,
+                            (state2$2, a$2) => more$2((v2$2) => {
+                              const $52 = state1$2._3 && !state2$2._3 ? $ParseState(state2$2._1, state2$2._2, true) : state2$2;
+                              return more$2((v1$3) => pattern(
+                                $52,
+                                more$2,
+                                lift1$2,
+                                throw$2,
+                                (state2$3, a$3) => more$2((v2$3) => {
+                                  const $62 = delim(parseableChar)(":");
+                                  const $72 = $52._3 && !state2$3._3 ? $ParseState(state2$3._1, state2$3._2, true) : state2$3;
+                                  return more$2((v1$4) => $62(
+                                    $72,
+                                    more$2,
+                                    lift1$2,
+                                    throw$2,
+                                    (state2$4, a$4) => more$2((v2$4) => {
+                                      const $8 = $72._3 && !state2$4._3 ? $ParseState(state2$4._1, state2$4._2, true) : state2$4;
+                                      return more$2((v1$5) => opTree$lazy()(
+                                        $8,
+                                        more$2,
+                                        lift1$2,
+                                        throw$2,
+                                        (state2$5, a$5) => more$2((v2$5) => done$2(
+                                          $8._3 && !state2$5._3 ? $ParseState(state2$5._1, state2$5._2, true) : state2$5,
+                                          $Qualifier("ListCompDecl", $VarDef2(a$3, a$5))
+                                        ))
+                                      ));
+                                    })
+                                  ));
+                                })
+                              ));
+                            })
+                          ));
+                        })()),
+                        context("listCompGen")((() => {
                           const $43 = reserved("for");
                           return (state1$2, more$2, lift1$2, throw$2, done$2) => more$2((v1$2) => $43(
                             state1$2,
@@ -21155,59 +19985,25 @@ var expr$lazy = /* @__PURE__ */ binding(() => {
                                     more$2,
                                     lift1$2,
                                     throw$2,
-                                    (state2$4, a$4) => more$2((v2$4) => choice3([
-                                      context("listCompDecl")((() => {
-                                        const $8 = delim(parseableChar)("[");
-                                        return (v1$5, $9, $10, $11, $12) => {
-                                          const $13 = v1$5._3;
-                                          return $9((v1$6) => $8(
-                                            v1$5,
-                                            $9,
-                                            $10,
-                                            (v2$5, $14) => $11($ParseState(v2$5._1, v2$5._2, $13), $14),
-                                            (state2$5, a$5) => $9((v2$5) => {
-                                              const $14 = v1$5._3 && !state2$5._3 ? $ParseState(state2$5._1, state2$5._2, true) : state2$5;
-                                              return $9((v1$7) => opTree$lazy()(
-                                                $14,
-                                                $9,
-                                                $10,
-                                                (v2$6, $15) => $11($ParseState(v2$6._1, v2$6._2, $13), $15),
-                                                (state2$6, a$6) => $9((v2$6) => {
-                                                  const $15 = delim(parseableChar)("]");
-                                                  const $16 = $14._3 && !state2$6._3 ? $ParseState(state2$6._1, state2$6._2, true) : state2$6;
-                                                  return $9((v1$8) => $15(
-                                                    $16,
-                                                    $9,
-                                                    $10,
-                                                    (v2$7, $17) => $11($ParseState(v2$7._1, v2$7._2, $13), $17),
-                                                    (state2$7, a$7) => $9((v2$7) => $12(
-                                                      $16._3 && !state2$7._3 ? $ParseState(state2$7._1, state2$7._2, true) : state2$7,
-                                                      $Qualifier("ListCompDecl", $VarDef2(a$3, a$6))
-                                                    ))
-                                                  ));
-                                                })
-                                              ));
-                                            })
-                                          ));
-                                        };
-                                      })()),
-                                      context("listCompGen")((state1$3, more$3, lift1$3, throw$3, done$3) => more$3((v1$5) => opTree$lazy()(
-                                        state1$3,
-                                        more$3,
-                                        lift1$3,
-                                        throw$3,
-                                        (state2$5, a$5) => more$3((v2$5) => done$3(
-                                          state1$3._3 && !state2$5._3 ? $ParseState(state2$5._1, state2$5._2, true) : state2$5,
+                                    (state2$4, a$4) => more$2((v2$4) => {
+                                      const $8 = $72._3 && !state2$4._3 ? $ParseState(state2$4._1, state2$4._2, true) : state2$4;
+                                      return more$2((v1$5) => opTree$lazy()(
+                                        $8,
+                                        more$2,
+                                        lift1$2,
+                                        throw$2,
+                                        (state2$5, a$5) => more$2((v2$5) => done$2(
+                                          $8._3 && !state2$5._3 ? $ParseState(state2$5._1, state2$5._2, true) : state2$5,
                                           $Qualifier("ListCompGen", a$3, a$5)
                                         ))
-                                      )))
-                                    ])($72._3 && !state2$4._3 ? $ParseState(state2$4._1, state2$4._2, true) : state2$4, more$2, lift1$2, throw$2, done$2))
+                                      ));
+                                    })
                                   ));
                                 })
                               ));
                             })
                           ));
-                        })()
+                        })())
                       ]));
                       return (state1$2, more$2, lift1$2, throw$2, done$2) => more$2((v1$2) => $42(
                         state1$2,
@@ -21361,26 +20157,31 @@ var expr$lazy = /* @__PURE__ */ binding(() => {
                         lift12,
                         $$throw2,
                         (state2, a) => more((v2) => choice3([
-                          (state1$1, more$1, lift1$1, throw$1, done$1) => more$1((v1$1) => operator(
-                            state1$1,
-                            more$1,
-                            lift1$1,
-                            throw$1,
-                            (state2$1, a$1) => more$1((v2$1) => {
-                              const $132 = close(parseableChar)(")");
-                              const $142 = state1$1._3 && !state2$1._3 ? $ParseState(state2$1._1, state2$1._2, true) : state2$1;
-                              return more$1((v1$2) => $132(
-                                $142,
+                          (() => {
+                            const $132 = close(parseableChar)(")");
+                            return (state1$1, more$1, lift1$1, throw$1, done$1) => more$1((v1$1) => {
+                              const $142 = state1$1._3;
+                              return more$1((v2$1) => more$1((v1$2) => operator(
+                                state1$1,
                                 more$1,
                                 lift1$1,
-                                throw$1,
-                                (state2$2, a$2) => more$1((v2$2) => done$1(
-                                  $142._3 && !state2$2._3 ? $ParseState(state2$2._1, state2$2._2, true) : state2$2,
-                                  $Expr2("Op", a$1)
-                                ))
-                              ));
-                            })
-                          )),
+                                (v2$2, $15) => throw$1($ParseState(v2$2._1, v2$2._2, $142), $15),
+                                (state2$1, a$1) => more$1((v2$2) => more$1((v3) => {
+                                  const state2$p = state1$1._3 && !state2$1._3 ? $ParseState(state2$1._1, state2$1._2, true) : state2$1;
+                                  return $132(
+                                    state2$p,
+                                    more$1,
+                                    lift1$1,
+                                    (v2$3, $15) => throw$1($ParseState(v2$3._1, v2$3._2, $142), $15),
+                                    (state3, a$2) => more$1((v4) => {
+                                      const $15 = state2$p._3 && !state3._3 ? $ParseState(state3._1, state3._2, true) : state3;
+                                      return more$1((v2$3) => done$1(state1$1._3 && !$15._3 ? $ParseState($15._1, $15._2, true) : $15, $Expr2("Op", a$1)));
+                                    })
+                                  );
+                                }))
+                              )));
+                            });
+                          })(),
                           (state1$1, more$1, lift1$1, throw$1, done$1) => more$1((v1$1) => opTree$lazy()(
                             state1$1,
                             more$1,
@@ -21758,7 +20559,7 @@ var expr$lazy = /* @__PURE__ */ binding(() => {
           $$throw2,
           (state2, a) => more((v2) => chain(a)(state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2, more, lift12, $$throw2, done))
         ));
-      })()))(binaryOps);
+      })()))(opTable);
     })());
     return (state1, more, lift12, $$throw2, done) => more((v2) => more((v1) => $0(
       state1,
@@ -21781,6 +20582,23 @@ var expr$lazy = /* @__PURE__ */ binding(() => {
   return context("expr")((() => {
     const $0 = reserved("case");
     const $1 = reserved("match");
+    const clause = (state1, more, lift12, $$throw2, done) => more((v1) => opTree(
+      state1,
+      more,
+      lift12,
+      $$throw2,
+      (state2, a) => more((v2) => {
+        const $22 = block(expr$lazy());
+        const $32 = state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2;
+        return more((v1$1) => $22(
+          $32,
+          more,
+          lift12,
+          $$throw2,
+          (state2$1, a$1) => more((v2$1) => done($32._3 && !state2$1._3 ? $ParseState(state2$1._1, state2$1._2, true) : state2$1, $Tuple(a, a$1)))
+        ));
+      })
+    ));
     const $2 = reserved("if");
     const $3 = context("def")((() => {
       const $32 = context("funDef")(withPos((state1, more, lift12, $$throw2, done) => more((v1) => recDefs$lazy()(
@@ -21879,13 +20697,31 @@ var expr$lazy = /* @__PURE__ */ binding(() => {
                 $5,
                 $6,
                 $15,
-                (state2, a) => $5((v2$1) => $5((v1$1) => opTree(
+                (state2, a) => $5((v2$1) => $5((v1$1) => clause(
                   state2,
                   $5,
                   $6,
                   $15,
                   (state2$1, a$1) => $5((v2$2) => {
-                    const $16 = block(expr$lazy());
+                    const $16 = manyRec2(align((() => {
+                      const $162 = reserved("elif");
+                      return (state1, more, lift12, $$throw2, done) => more((v2$3) => more((v1$2) => $162(
+                        state1,
+                        more,
+                        lift12,
+                        $$throw2,
+                        (state2$2, a$2) => more((v2$4) => more((v3$2) => {
+                          const state2$p = state1._3 && !state2$2._3 ? $ParseState(state2$2._1, state2$2._2, true) : state2$2;
+                          return clause(
+                            state2$p,
+                            more,
+                            lift12,
+                            $$throw2,
+                            (state3, a$3) => more((v4$1) => done(state2$p._3 && !state3._3 ? $ParseState(state3._1, state3._2, true) : state3, a$3))
+                          );
+                        }))
+                      )));
+                    })()));
                     const $17 = state2._3 && !state2$1._3 ? $ParseState(state2$1._1, state2$1._2, true) : state2$1;
                     return $5((v1$2) => $16(
                       $17,
@@ -21893,27 +20729,36 @@ var expr$lazy = /* @__PURE__ */ binding(() => {
                       $6,
                       $15,
                       (state2$2, a$2) => $5((v2$3) => {
-                        const $18 = align(reserved("else"));
+                        const $18 = align((() => {
+                          const $182 = reserved("else");
+                          const $192 = block(expr$lazy());
+                          return (state1, more, lift12, $$throw2, done) => more((v2$4) => more((v1$3) => $182(
+                            state1,
+                            more,
+                            lift12,
+                            $$throw2,
+                            (state2$3, a$3) => more((v2$5) => more((v3$2) => {
+                              const state2$p = state1._3 && !state2$3._3 ? $ParseState(state2$3._1, state2$3._2, true) : state2$3;
+                              return $192(
+                                state2$p,
+                                more,
+                                lift12,
+                                $$throw2,
+                                (state3, a$4) => more((v4$1) => done(state2$p._3 && !state3._3 ? $ParseState(state3._1, state3._2, true) : state3, a$4))
+                              );
+                            }))
+                          )));
+                        })());
                         const $19 = $17._3 && !state2$2._3 ? $ParseState(state2$2._1, state2$2._2, true) : state2$2;
                         return $5((v1$3) => $18(
                           $19,
                           $5,
                           $6,
                           $15,
-                          (state2$3, a$3) => $5((v2$4) => {
-                            const $20 = block(expr$lazy());
-                            const $21 = $19._3 && !state2$3._3 ? $ParseState(state2$3._1, state2$3._2, true) : state2$3;
-                            return $5((v1$4) => $20(
-                              $21,
-                              $5,
-                              $6,
-                              $15,
-                              (state2$4, a$4) => $5((v2$5) => $8(
-                                $21._3 && !state2$4._3 ? $ParseState(state2$4._1, state2$4._2, true) : state2$4,
-                                $Expr2("IfElse", a$1, a$2, a$4)
-                              ))
-                            ));
-                          })
+                          (state2$3, a$3) => $5((v2$4) => $8(
+                            $19._3 && !state2$3._3 ? $ParseState(state2$3._1, state2$3._2, true) : state2$3,
+                            $Expr2("IfElse", nonEmptyListNonEmptyList.nonEmpty($List("Cons", a$1, a$2)), a$3)
+                          ))
                         ));
                       })
                     ));
@@ -25739,28 +24584,28 @@ var split3 = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 2,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
         return (dictMonadAff) => {
           const $0 = dictMonadAff.MonadEffect0().Monad0().Bind1();
-          return (dictMonadReader) => (dictLoadFile) => (v) => {
-            if (v.tag === "Cons" && v._1._3.tag === "Int" && v._2.tag === "Cons" && v._2._1._3.tag === "Str" && v._2._2.tag === "Nil") {
-              const $1 = v._1._3._1;
-              const $2 = v._2._1._3._1;
-              const \u03B1s = insert(ordVertex)(v._2._1._1)()($$$Map(
+          return (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+            if (v1.tag === "Cons" && v1._1._3.tag === "Int" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Str" && v1._2._2.tag === "Nil") {
+              const $1 = v1._1._3._1;
+              const $2 = v1._2._1._3._1;
+              const \u03B1s = insert(ordVertex)(v1._2._1._1)()($$$Map(
                 "Node",
                 1,
                 1,
-                v._1._1,
+                v1._1._1,
                 void 0,
                 Leaf2,
                 Leaf2
               ));
-              return $0.bind(val(\u03B1s)($BaseVal("Str", take3($1)($2))))((before) => $0.bind(val(\u03B1s)($BaseVal(
+              return $0.bind(val2(Nothing)(\u03B1s)($BaseVal("Str", take3($1)($2))))((before) => $0.bind(val2(Nothing)(\u03B1s)($BaseVal(
                 "Str",
                 drop2(length2(take3($1)($2)))($2)
-              )))((after) => val(\u03B1s)($BaseVal("Constr", "Pair", $List("Cons", before, $List("Cons", after, Nil))))));
+              )))((after) => val2(v)(\u03B1s)($BaseVal("Constr", "Pair", $List("Cons", before, $List("Cons", after, Nil))))));
             }
             return $$throw2("Int and string expected");
           };
@@ -25774,41 +24619,41 @@ var search2 = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 2,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-          if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Cons" && v._2._1._3.tag === "Str" && v._2._2.tag === "Nil") {
-            const $0 = v._2._1._3._1;
-            const v1 = regex(v._1._3._1)(noFlags);
-            if (v1.tag === "Left") {
-              return $$throw2("search: " + v1._1);
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._1._3.tag === "Str" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Str" && v1._2._2.tag === "Nil") {
+            const $0 = v1._2._1._3._1;
+            const v2 = regex(v1._1._3._1)(noFlags);
+            if (v2.tag === "Left") {
+              return $$throw2("Regex expected: " + v2._1);
             }
-            if (v1.tag === "Right") {
-              const \u03B1s = insert(ordVertex)(v._2._1._1)()($$$Map(
+            if (v2.tag === "Right") {
+              const \u03B1s = insert(ordVertex)(v1._2._1._1)()($$$Map(
                 "Node",
                 1,
                 1,
-                v._1._1,
+                v1._1._1,
                 void 0,
                 Leaf2,
                 Leaf2
               ));
-              const v2 = search(v1._1)($0);
-              if (v2.tag === "Nothing") {
-                return val(\u03B1s)($BaseVal("Constr", "None", Nil));
+              const v3 = search(v2._1)($0);
+              if (v3.tag === "Nothing") {
+                return val2(v)(\u03B1s)($BaseVal("Constr", "None", Nil));
               }
-              if (v2.tag === "Just") {
-                return dictMonadAff.MonadEffect0().Monad0().Bind1().bind(val(\u03B1s)($BaseVal("Int", v2._1)))((v3) => val(\u03B1s)($BaseVal(
+              if (v3.tag === "Just") {
+                return dictMonadAff.MonadEffect0().Monad0().Bind1().bind(val2(Nothing)(\u03B1s)($BaseVal("Int", v3._1)))((v4) => val2(v)(\u03B1s)($BaseVal(
                   "Constr",
                   "Some",
-                  $List("Cons", v3, Nil)
+                  $List("Cons", v4, Nil)
                 )));
               }
             }
             fail();
           }
-          return $$throw2("Regex and string expected");
+          return $$throw2("Two strings expected");
         };
       };
     }
@@ -25830,15 +24675,15 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 3,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-          if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Cons" && v._2._1._3.tag === "Constr" && v._2._1._3._2.tag === "Cons" && v._2._1._3._2._1._3.tag === "Int" && v._2._1._3._2._2.tag === "Cons" && v._2._1._3._2._2._1._3.tag === "Int" && v._2._1._3._2._2._2.tag === "Nil" && v._2._2.tag === "Cons" && v._2._2._2.tag === "Nil" && v._2._1._3._1 === "Pair") {
-            const $0 = v._2._2._1;
-            return val($$$Map("Node", 1, 1, v._1._1, void 0, Leaf2, Leaf2))($BaseVal(
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._1._3.tag === "Matrix" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Constr" && v1._2._1._3._2.tag === "Cons" && v1._2._1._3._2._1._3.tag === "Int" && v1._2._1._3._2._2.tag === "Cons" && v1._2._1._3._2._2._1._3.tag === "Int" && v1._2._1._3._2._2._2.tag === "Nil" && v1._2._2.tag === "Cons" && v1._2._2._2.tag === "Nil" && v1._2._1._3._1 === "Pair") {
+            const $0 = v1._2._2._1;
+            return val2(v)($$$Map("Node", 1, 1, v1._1._1, void 0, Leaf2, Leaf2))($BaseVal(
               "Matrix",
-              matrixPut(v._2._1._3._2._1._3._1)(v._2._1._3._2._2._1._3._1)((v$1) => $0)(v._1._3._1)
+              matrixPut(v1._2._1._3._2._1._3._1)(v1._2._1._3._2._2._1._3._1)((v$1) => $0)(v1._1._3._1)
             ));
           }
           return $$throw2("Matrix, pair of integers and value expected");
@@ -25853,9 +24698,9 @@ var matrixLookup = /* @__PURE__ */ $Tuple(
     arity: 2,
     op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
       const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-      return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-        if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Cons" && v._2._1._3.tag === "Constr" && v._2._1._3._2.tag === "Cons" && v._2._1._3._2._1._3.tag === "Int" && v._2._1._3._2._2.tag === "Cons" && v._2._1._3._2._2._1._3.tag === "Int" && v._2._1._3._2._2._2.tag === "Nil" && v._2._2.tag === "Nil" && v._2._1._3._1 === "Pair") {
-          return dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(matrixGet(v._2._1._3._2._1._3._1)(v._2._1._3._2._2._1._3._1)(v._1._3._1));
+      return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+        if (v1.tag === "Cons" && v1._1._3.tag === "Matrix" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Constr" && v1._2._1._3._2.tag === "Cons" && v1._2._1._3._2._1._3.tag === "Int" && v1._2._1._3._2._2.tag === "Cons" && v1._2._1._3._2._2._1._3.tag === "Int" && v1._2._1._3._2._2._2.tag === "Nil" && v1._2._2.tag === "Nil" && v1._2._1._3._1 === "Pair") {
+          return dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(matrixGet(v1._2._1._3._2._1._3._1)(v1._2._1._3._2._2._1._3._1)(v1._1._3._1));
         }
         return $$throw2("Matrix and pair of integers expected");
       };
@@ -25878,18 +24723,18 @@ var insert3 = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 3,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-          if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Str" && v._2._2.tag === "Cons" && v._2._2._2.tag === "Nil") {
-            const $0 = v._2._1._3._1;
-            return val($$$Map("Node", 1, 1, v._1._1, void 0, Leaf2, Leaf2))($BaseVal(
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._1._3.tag === "Dictionary" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Str" && v1._2._2.tag === "Cons" && v1._2._2._2.tag === "Nil") {
+            const $0 = v1._2._1._3._1;
+            return val2(v)($$$Map("Node", 1, 1, v1._1._1, void 0, Leaf2, Leaf2))($BaseVal(
               "Dictionary",
               mutate(($1) => () => {
-                $1[$0] = $Tuple(v._2._1._1, v._2._2._1);
+                $1[$0] = $Tuple(v1._2._1._1, v1._2._2._1);
                 return $1;
-              })(v._1._3._1)
+              })(v1._1._3._1)
             ));
           }
           return $$throw2("Dictionary, key and value expected");
@@ -25905,29 +24750,29 @@ var $$get3 = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 2,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-          if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
-            const v1 = _lookup(Nothing, Just, v._1._3._1, v._2._1._3._1);
-            if (v1.tag === "Nothing") {
-              return val($$$Map("Node", 1, 1, v._1._1, void 0, Leaf2, Leaf2))($BaseVal(
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._1._3.tag === "Str" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Dictionary" && v1._2._2.tag === "Nil") {
+            const v2 = _lookup(Nothing, Just, v1._1._3._1, v1._2._1._3._1);
+            if (v2.tag === "Nothing") {
+              return val2(v)($$$Map("Node", 1, 1, v1._1._1, void 0, Leaf2, Leaf2))($BaseVal(
                 "Constr",
                 "None",
                 Nil
               ));
             }
-            if (v1.tag === "Just") {
-              return val(insert(ordVertex)(v1._1._1)()($$$Map(
+            if (v2.tag === "Just") {
+              return val2(v)(insert(ordVertex)(v2._1._1)()($$$Map(
                 "Node",
                 1,
                 1,
-                v._1._1,
+                v1._1._1,
                 void 0,
                 Leaf2,
                 Leaf2
-              )))($BaseVal("Constr", "Some", $List("Cons", v1._1._2, Nil)));
+              )))($BaseVal("Constr", "Some", $List("Cons", v2._1._2, Nil)));
             }
             fail();
           }
@@ -25937,35 +24782,35 @@ var $$get3 = /* @__PURE__ */ $Tuple(
     }
   })
 );
-var fromJsonVal = (dictMonadWithGraphAlloc) => {
-  const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+var fromJson = (dictMonadWithGraphAlloc) => {
+  const val2 = val(dictMonadWithGraphAlloc);
   return (dictMonadEffect) => {
     const Monad0 = dictMonadEffect.Monad0();
     const $0 = Monad0.Bind1();
     const Applicative0 = Monad0.Applicative0();
     const traverse22 = traversableArray.traverse(Applicative0);
     const traverse2$1 = traversableArray.traverse(Applicative0);
-    return caseJson((v) => throwException(error("Error, Null JSON value cannot be converted to Val"))())((b) => val(Leaf2)($BaseVal(
+    return (doc_opt) => caseJson((v) => throwException(error("Error, Null JSON value cannot be converted to Val"))())((b) => val2(doc_opt)(Leaf2)($BaseVal(
       "Constr",
       b ? "True" : "False",
       Nil
     )))((n) => {
       const v = fromNumber(n);
       if (v.tag === "Just") {
-        return val(Leaf2)($BaseVal("Int", v._1));
+        return val2(doc_opt)(Leaf2)($BaseVal("Int", v._1));
       }
       if (v.tag === "Nothing") {
-        return val(Leaf2)($BaseVal("Float", n));
+        return val2(doc_opt)(Leaf2)($BaseVal("Float", n));
       }
       fail();
-    })((s) => val(Leaf2)($BaseVal("Str", s)))((xs) => {
-      const toList = (v) => {
-        if (v.tag === "Nil") {
-          return val(Leaf2)($BaseVal("Constr", "Nil", Nil));
+    })((s) => val2(doc_opt)(Leaf2)($BaseVal("Str", s)))((xs) => {
+      const toList = (v) => (v1) => {
+        if (v1.tag === "Nil") {
+          return val2(v)(Leaf2)($BaseVal("Constr", "Nil", Nil));
         }
-        if (v.tag === "Cons") {
-          const $1 = v._1;
-          return $0.bind(toList(v._2))((v$p) => val(Leaf2)($BaseVal(
+        if (v1.tag === "Cons") {
+          const $1 = v1._1;
+          return $0.bind(toList(Nothing)(v1._2))((v$p) => val2(v)(Leaf2)($BaseVal(
             "Constr",
             ":",
             $List("Cons", $1, $List("Cons", v$p, Nil))
@@ -25973,7 +24818,7 @@ var fromJsonVal = (dictMonadWithGraphAlloc) => {
         }
         fail();
       };
-      return $0.bind(traverse2$1(fromJsonVal(dictMonadWithGraphAlloc)(dictMonadEffect))(xs))((vs) => toList((() => {
+      return $0.bind(traverse2$1(fromJson(dictMonadWithGraphAlloc)(dictMonadEffect)(Nothing))(xs))((vs) => toList(doc_opt)((() => {
         const len = vs.length;
         const go = (go$a0$copy) => (go$a1$copy) => {
           let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$c = true, go$r;
@@ -26012,36 +24857,36 @@ var fromJsonVal = (dictMonadWithGraphAlloc) => {
     })((obj) => $0.bind(traverse22((v) => {
       const $1 = v._1;
       const $2 = v._2;
-      return $0.bind(val(Leaf2)($BaseVal("Str", $1)))((v1) => {
+      return $0.bind(val2(doc_opt)(Leaf2)($BaseVal("Str", $1)))((v1) => {
         const $3 = v1._1;
-        return $0.bind(fromJsonVal(dictMonadWithGraphAlloc)(dictMonadEffect)($2))((v2) => Applicative0.pure($Tuple($1, $Tuple($3, v2))));
+        return $0.bind(fromJson(dictMonadWithGraphAlloc)(dictMonadEffect)(Nothing)($2))((v2) => Applicative0.pure($Tuple($1, $Tuple($3, v2))));
       });
-    })(toUnfoldable8(obj)))((entries) => val(Leaf2)($BaseVal("Dictionary", fromFoldable20(entries)))));
+    })(toUnfoldable8(obj)))((entries) => val2(doc_opt)(Leaf2)($BaseVal("Dictionary", fromFoldable20(entries)))));
   };
 };
 var loadJson = /* @__PURE__ */ $Tuple(
-  "loadJson",
+  "load_json",
   /* @__PURE__ */ $ForeignOp$p({
     arity: 1,
     op: (dictMonadWithGraphAlloc) => {
-      const fromJsonVal1 = fromJsonVal(dictMonadWithGraphAlloc);
+      const fromJson1 = fromJson(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
         return (dictMonadAff) => {
           const MonadEffect0 = dictMonadAff.MonadEffect0();
           const Bind1 = MonadEffect0.Monad0().Bind1();
-          const fromJsonVal2 = fromJsonVal1(MonadEffect0);
+          const fromJson2 = fromJson1(MonadEffect0);
           return (dictMonadReader) => (dictLoadFile) => {
             const loadFileFromPath = dictLoadFile.loadFileFromPath(dictMonadError)(dictMonadAff);
-            return (v) => {
-              if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
-                return Bind1.bind(Bind1.Apply0().Functor0().map(definitely('File "' + v._1._3._1 + '" exists'))(loadFileFromPath(v._1._3._1)))((str) => {
-                  const v1 = parseJson(str);
-                  if (v1.tag === "Left") {
-                    return $$throw2("Failed to parse JSON: " + showJsonDecodeError.show(v1._1));
+            return (v) => (v1) => {
+              if (v1.tag === "Cons" && v1._1._3.tag === "Str" && v1._2.tag === "Nil") {
+                return Bind1.bind(Bind1.Apply0().Functor0().map(definitely('File "' + v1._1._3._1 + '" exists'))(loadFileFromPath(v1._1._3._1)))((str) => {
+                  const v2 = parseJson(str);
+                  if (v2.tag === "Left") {
+                    return $$throw2("Failed to parse JSON: " + showJsonDecodeError.show(v2._1));
                   }
-                  if (v1.tag === "Right") {
-                    return fromJsonVal2(v1._1);
+                  if (v2.tag === "Right") {
+                    return fromJson2(v)(v2._1);
                   }
                   fail();
                 });
@@ -26064,14 +24909,15 @@ var foldl_with_index = /* @__PURE__ */ $Tuple(
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
         return (dictMonadAff) => {
           const Monad0 = dictMonadAff.MonadEffect0().Monad0();
-          const $0 = Monad0.Bind1();
+          const Bind1 = Monad0.Bind1();
+          const $0 = Bind1.Apply0().Functor0();
           return (dictMonadReader) => {
             const apply12 = apply5(dictMonadReader)(dictMonadAff);
             return (dictLoadFile) => {
               const apply22 = apply12(dictLoadFile);
-              return (v) => {
-                if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Cons" && v._2._2._1._3.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
-                  const $1 = v._1;
+              return (v) => (v1) => {
+                if (v1.tag === "Cons" && v1._2.tag === "Cons" && v1._2._2.tag === "Cons" && v1._2._2._1._3.tag === "Dictionary" && v1._2._2._2.tag === "Nil") {
+                  const $1 = v1._1;
                   const go = (go$a0$copy) => (go$a1$copy) => {
                     let go$a0 = go$a0$copy, go$a1 = go$a1$copy, go$c = true, go$r;
                     while (go$c) {
@@ -26085,8 +24931,19 @@ var foldl_with_index = /* @__PURE__ */ $Tuple(
                         go$a0 = (() => {
                           const $2 = v$1._1;
                           return Monad0.Bind1().bind(b)((a) => {
-                            const $3 = $2._2._2;
-                            return $0.bind($0.bind(apply22($1)($Val($2._2._1, Nothing, $BaseVal("Str", $2._1))))((a$1) => apply22(a$1)(a)))((a$1) => apply22(a$1)($3));
+                            const $3 = a._1;
+                            return $0.map((v5) => $Tuple(v5, Nothing))(Bind1.bind(Bind1.bind(apply22(Nothing)($1)($Val(
+                              $2._2._1,
+                              Nothing,
+                              $BaseVal("Str", $2._1)
+                            )))((() => {
+                              const $4 = apply22(Nothing);
+                              return (a$1) => $4(a$1)($3);
+                            })()))((() => {
+                              const $4 = apply22(a._2);
+                              const $5 = $2._2._2;
+                              return (a$1) => $4(a$1)($5);
+                            })()));
                           });
                         })();
                         go$a1 = v$1._2;
@@ -26096,7 +24953,7 @@ var foldl_with_index = /* @__PURE__ */ $Tuple(
                     }
                     return go$r;
                   };
-                  return go(Monad0.Applicative0().pure(v._2._1))(toUnfoldable22(v._2._2._1._3._1));
+                  return $0.map(fst)(go(Monad0.Applicative0().pure($Tuple(v1._2._1, v)))(toUnfoldable22(v1._2._2._1._3._1)));
                 }
                 return $$throw2("Function, value and dictionary expected");
               };
@@ -26107,15 +24964,53 @@ var foldl_with_index = /* @__PURE__ */ $Tuple(
     }
   })
 );
+var find_str = /* @__PURE__ */ $Tuple(
+  "find_str",
+  /* @__PURE__ */ $ForeignOp$p({
+    arity: 2,
+    op: (dictMonadWithGraphAlloc) => {
+      const val2 = val(dictMonadWithGraphAlloc);
+      return (dictMonadError) => {
+        const $$throw2 = $$throw(dictMonadError.MonadThrow0());
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._1._3.tag === "Str" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Str" && v1._2._2.tag === "Nil") {
+            return val2(v)(insert(ordVertex)(v1._2._1._1)()($$$Map(
+              "Node",
+              1,
+              1,
+              v1._1._1,
+              void 0,
+              Leaf2,
+              Leaf2
+            )))($BaseVal(
+              "Int",
+              (() => {
+                const $0 = indexOf2(v1._1._3._1)(v1._2._1._3._1);
+                if ($0.tag === "Nothing") {
+                  return -1;
+                }
+                if ($0.tag === "Just") {
+                  return $0._1;
+                }
+                fail();
+              })()
+            ));
+          }
+          return $$throw2("Two strings expected");
+        };
+      };
+    }
+  })
+);
 var error_ = /* @__PURE__ */ $Tuple(
   "error",
   /* @__PURE__ */ $ForeignOp$p({
     arity: 1,
     op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
       const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-      return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-        if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
-          return dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
+      return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+        if (v1.tag === "Cons" && v1._1._3.tag === "Str" && v1._2.tag === "Nil") {
+          return dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(throwException(error(v1._1._3._1))());
         }
         return $$throw2("String expected");
       };
@@ -26123,33 +25018,34 @@ var error_ = /* @__PURE__ */ $Tuple(
   })
 );
 var divide = /* @__PURE__ */ union5(asNumberIntOrNumber)(asNumberIntOrNumber)(asIntNumber)(asIntNumber)((x) => (y) => toNumber(x) / toNumber(y))(numDiv);
+var div = (x) => (y) => unsafeClamp(floor(toNumber(x) / toNumber(y)));
+var mod = (x) => (y) => x - (y * div(x)(y) | 0) | 0;
 var dims = /* @__PURE__ */ $Tuple(
   "dims",
   /* @__PURE__ */ $ForeignOp$p({
     arity: 1,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
         return (dictMonadAff) => {
           const $0 = dictMonadAff.MonadEffect0().Monad0().Bind1();
-          return (dictMonadReader) => (dictLoadFile) => (v) => {
-            if (v.tag === "Cons" && v._1._3.tag === "Matrix" && v._2.tag === "Nil") {
-              const $1 = v._1._3._1._2._2._1;
-              const $2 = v._1._1;
-              const $3 = v._1._3._1._2._2._2;
-              return $0.bind(val($$$Map("Node", 1, 1, v._1._3._1._2._1._2, void 0, Leaf2, Leaf2))($BaseVal(
+          return (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+            if (v1.tag === "Cons" && v1._1._3.tag === "Matrix" && v1._2.tag === "Nil") {
+              const $1 = v1._1._3._1._2._2._1;
+              const $2 = v1._1._1;
+              const $3 = v1._1._3._1._2._2._2;
+              return $0.bind(val2(Nothing)($$$Map("Node", 1, 1, v1._1._3._1._2._1._2, void 0, Leaf2, Leaf2))($BaseVal(
                 "Int",
-                v._1._3._1._2._1._1
-              )))((v1) => $0.bind(val($$$Map("Node", 1, 1, $3, void 0, Leaf2, Leaf2))($BaseVal("Int", $1)))((v2) => val($$$Map(
-                "Node",
-                1,
-                1,
-                $2,
-                void 0,
-                Leaf2,
-                Leaf2
-              ))($BaseVal("Constr", "Pair", $List("Cons", v1, $List("Cons", v2, Nil))))));
+                v1._1._3._1._2._1._1
+              )))((v11) => $0.bind(val2(Nothing)($$$Map("Node", 1, 1, $3, void 0, Leaf2, Leaf2))($BaseVal(
+                "Int",
+                $1
+              )))((v2) => val2(v)($$$Map("Node", 1, 1, $2, void 0, Leaf2, Leaf2))($BaseVal(
+                "Constr",
+                "Pair",
+                $List("Cons", v11, $List("Cons", v2, Nil))
+              ))));
             }
             return $$throw2("Matrix expected");
           };
@@ -26164,7 +25060,7 @@ var dict_map = /* @__PURE__ */ $Tuple(
     arity: 2,
     op: (dictMonadWithGraphAlloc) => {
       const apply5 = apply2(dictMonadWithGraphAlloc);
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
         return (dictMonadAff) => {
@@ -26175,14 +25071,14 @@ var dict_map = /* @__PURE__ */ $Tuple(
             const apply12 = apply5(dictMonadReader)(dictMonadAff);
             return (dictLoadFile) => {
               const apply22 = apply12(dictLoadFile);
-              return (v) => {
-                if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
-                  const $0 = v._1;
-                  const $1 = v._2._1._1;
-                  return Bind1.bind(traverse22((v2) => {
-                    const $2 = v2._1;
-                    return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply22($0)(v2._2));
-                  })(v._2._1._3._1))((d$p) => val($$$Map("Node", 1, 1, $1, void 0, Leaf2, Leaf2))($BaseVal(
+              return (v) => (v1) => {
+                if (v1.tag === "Cons" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Dictionary" && v1._2._2.tag === "Nil") {
+                  const $0 = v1._1;
+                  const $1 = v1._2._1._1;
+                  return Bind1.bind(traverse22((v3) => {
+                    const $2 = v3._1;
+                    return Bind1.Apply0().Functor0().map((v4) => $Tuple($2, v4))(apply22(Nothing)($0)(v3._2));
+                  })(v1._2._1._3._1))((d$p) => val2(v)($$$Map("Node", 1, 1, $1, void 0, Leaf2, Leaf2))($BaseVal(
                     "Dictionary",
                     d$p
                   )));
@@ -26202,7 +25098,7 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
     arity: 3,
     op: (dictMonadWithGraphAlloc) => {
       const apply5 = apply2(dictMonadWithGraphAlloc);
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
         return (dictMonadAff) => {
@@ -26214,25 +25110,28 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
             const apply12 = apply5(dictMonadReader)(dictMonadAff);
             return (dictLoadFile) => {
               const apply22 = apply12(dictLoadFile);
-              return (v) => {
-                if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Cons" && v._2._2._1._3.tag === "Dictionary" && v._2._2._2.tag === "Nil") {
-                  const $1 = v._1;
-                  const $2 = v._2._1._1;
-                  const $3 = v._2._2._1._1;
-                  return Bind1.bind($0.map(Dictionary2)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity14)(intersectionWith_Object((v2) => (v3) => {
-                    const $4 = v3._2;
-                    const $5 = v2._1;
-                    const $6 = v3._1;
-                    return Bind1.bind(Bind1.bind(apply22($1)(v2._2))((a) => apply22(a)($4)))((v4) => Bind1.bind(val(insert(ordVertex)($6)()($$$Map(
+              return (v) => (v1) => {
+                if (v1.tag === "Cons" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Dictionary" && v1._2._2.tag === "Cons" && v1._2._2._1._3.tag === "Dictionary" && v1._2._2._2.tag === "Nil") {
+                  const $1 = v1._1;
+                  const $2 = v1._2._1._1;
+                  const $3 = v1._2._2._1._1;
+                  return Bind1.bind($0.map(Dictionary2)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity14)(intersectionWith_Object((v3) => (v4) => {
+                    const $4 = v3._1;
+                    const $5 = v4._1;
+                    return Bind1.bind(Bind1.bind(apply22(Nothing)($1)(v3._2))((() => {
+                      const $6 = apply22(Nothing);
+                      const $7 = v4._2;
+                      return (a) => $6(a)($7);
+                    })()))((v5) => Bind1.bind(val2(Nothing)(insert(ordVertex)($5)()($$$Map(
                       "Node",
                       1,
                       1,
-                      $5,
+                      $4,
                       void 0,
                       Leaf2,
                       Leaf2
-                    )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
-                  })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => val(insert(ordVertex)($3)()($$$Map(
+                    )))(v5._3))((v6) => Applicative0.pure($Tuple(v6._1, v5))));
+                  })(v1._2._1._3._1)(v1._2._2._1._3._1)))))((v$p) => val2(v)(insert(ordVertex)($3)()($$$Map(
                     "Node",
                     1,
                     1,
@@ -26256,20 +25155,20 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 2,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-          if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
-            return val(insert(ordVertex)(v._2._1._1)()($$$Map(
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._1._3.tag === "Dictionary" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Dictionary" && v1._2._2.tag === "Nil") {
+            return val2(v)(insert(ordVertex)(v1._2._1._1)()($$$Map(
               "Node",
               1,
               1,
-              v._1._1,
+              v1._1._1,
               void 0,
               Leaf2,
               Leaf2
-            )))($BaseVal("Dictionary", disjointUnion3(v._1._3._1)(v._2._1._3._1)));
+            )))($BaseVal("Dictionary", disjointUnion3(v1._1._3._1)(v1._2._1._3._1)));
           }
           return $$throw2("Dictionaries expected");
         };
@@ -26282,20 +25181,20 @@ var dict_difference = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 2,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-          if (v.tag === "Cons" && v._1._3.tag === "Dictionary" && v._2.tag === "Cons" && v._2._1._3.tag === "Dictionary" && v._2._2.tag === "Nil") {
-            return val(insert(ordVertex)(v._2._1._1)()($$$Map(
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._1._3.tag === "Dictionary" && v1._2.tag === "Cons" && v1._2._1._3.tag === "Dictionary" && v1._2._2.tag === "Nil") {
+            return val2(v)(insert(ordVertex)(v1._2._1._1)()($$$Map(
               "Node",
               1,
               1,
-              v._1._1,
+              v1._1._1,
               void 0,
               Leaf2,
               Leaf2
-            )))($BaseVal("Dictionary", mapFObjectString.difference(v._1._3._1)(v._2._1._3._1)));
+            )))($BaseVal("Dictionary", mapFObjectString.difference(v1._1._3._1)(v1._2._1._3._1)));
           }
           return $$throw2("Dictionaries expected.");
         };
@@ -26308,42 +25207,42 @@ var dict = /* @__PURE__ */ $Tuple(
   /* @__PURE__ */ $ForeignOp$p({
     arity: 1,
     op: (dictMonadWithGraphAlloc) => {
-      const val = dictMonadWithGraphAlloc.new(typeNameVal)((a) => Val(a)(Nothing));
+      const val2 = val(dictMonadWithGraphAlloc);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-          if (v.tag === "Cons" && v._2.tag === "Nil") {
+        return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+          if (v1.tag === "Cons" && v1._2.tag === "Nil") {
             const kvs$p = (dictMonadError1) => {
               const MonadThrow0 = dictMonadError1.MonadThrow0();
               const Monad0 = MonadThrow0.Monad0();
               const $0 = Monad0.Applicative0();
-              return (v2) => {
-                if (v2._3.tag === "Constr") {
-                  if (v2._3._2.tag === "Nil") {
-                    if (v2._3._1 === "Nil") {
+              return (v3) => {
+                if (v3._3.tag === "Constr") {
+                  if (v3._3._2.tag === "Nil") {
+                    if (v3._3._1 === "Nil") {
                       return $0.pure($Tuple(
-                        $$$Map("Node", 1, 1, v2._1, void 0, Leaf2, Leaf2),
+                        $$$Map("Node", 1, 1, v3._1, void 0, Leaf2, Leaf2),
                         Nil
                       ));
                     }
                     return MonadThrow0.throwError(error("List of (key, value) pairs expected"));
                   }
-                  if (v2._3._2.tag === "Cons" && v2._3._2._1._3.tag === "Constr" && v2._3._2._1._3._2.tag === "Cons" && v2._3._2._1._3._2._1._3.tag === "Str" && v2._3._2._1._3._2._2.tag === "Cons" && v2._3._2._1._3._2._2._2.tag === "Nil" && v2._3._2._2.tag === "Cons" && v2._3._2._2._2.tag === "Nil" && v2._3._1 === ":" && v2._3._2._1._3._1 === "Pair") {
-                    const $1 = v2._3._2._1._3._2._1._3._1;
-                    const $2 = v2._3._2._1._3._2._2._1;
-                    const $3 = v2._1;
-                    const $4 = v2._3._2._1._3._2._1._1;
-                    const $5 = v2._3._2._1._1;
-                    return Monad0.Bind1().bind(kvs$p(dictMonadError1)(v2._3._2._2._1))((v3) => $0.pure($Tuple(
-                      insert(ordVertex)($3)()(insert(ordVertex)($5)()(v3._1)),
-                      $List("Cons", $Tuple($1, $Tuple($4, $2)), v3._2)
+                  if (v3._3._2.tag === "Cons" && v3._3._2._1._3.tag === "Constr" && v3._3._2._1._3._2.tag === "Cons" && v3._3._2._1._3._2._1._3.tag === "Str" && v3._3._2._1._3._2._2.tag === "Cons" && v3._3._2._1._3._2._2._2.tag === "Nil" && v3._3._2._2.tag === "Cons" && v3._3._2._2._2.tag === "Nil" && v3._3._1 === ":" && v3._3._2._1._3._1 === "Pair") {
+                    const $1 = v3._3._2._1._3._2._1._3._1;
+                    const $2 = v3._3._2._1._3._2._2._1;
+                    const $3 = v3._1;
+                    const $4 = v3._3._2._1._3._2._1._1;
+                    const $5 = v3._3._2._1._1;
+                    return Monad0.Bind1().bind(kvs$p(dictMonadError1)(v3._3._2._2._1))((v4) => $0.pure($Tuple(
+                      insert(ordVertex)($3)()(insert(ordVertex)($5)()(v4._1)),
+                      $List("Cons", $Tuple($1, $Tuple($4, $2)), v4._2)
                     )));
                   }
                 }
                 return MonadThrow0.throwError(error("List of (key, value) pairs expected"));
               };
             };
-            return dictMonadAff.MonadEffect0().Monad0().Bind1().bind(kvs$p(dictMonadError)(v._1))((v2) => val(v2._1)($BaseVal("Dictionary", fromFoldable110(v2._2))));
+            return dictMonadAff.MonadEffect0().Monad0().Bind1().bind(kvs$p(dictMonadError)(v1._1))((v3) => val2(v)(v3._1)($BaseVal("Dictionary", fromFoldable110(v3._2))));
           }
           return $$throw2("Single argument expected");
         };
@@ -26352,14 +25251,14 @@ var dict = /* @__PURE__ */ $Tuple(
   })
 );
 var debugLog = /* @__PURE__ */ $Tuple(
-  "debugLog",
+  "debug_log",
   /* @__PURE__ */ $ForeignOp$p({
     arity: 1,
     op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
       const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-      return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => {
-        if (v.tag === "Cons" && v._2.tag === "Nil") {
-          const $0 = v._1;
+      return (dictMonadAff) => (dictMonadReader) => (dictLoadFile) => (v) => (v1) => {
+        if (v1.tag === "Cons" && v1._2.tag === "Nil") {
+          const $0 = v1._1;
           return dictMonadAff.MonadEffect0().Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
         }
         return $$throw2("Single argument expected");
@@ -26387,7 +25286,7 @@ var primitives = /* @__PURE__ */ (() => fromFoldable20([
   }),
   unary2("floor")({ i: number, o: $$int, fwd: floor2 }),
   unary2("log")({ i: intOrNumber, o: number, fwd: log3 }),
-  unary2("numToStr")({ i: intOrNumber, o: string, fwd: numToStr }),
+  unary2("num_to_str")({ i: intOrNumber, o: string, fwd: numToStr }),
   binary2("+")({
     i1: intOrNumber,
     i2: intOrNumber,
@@ -26454,10 +25353,14 @@ var primitives = /* @__PURE__ */ (() => fromFoldable20([
     matrixUpdate._1,
     $Val(void 0, Nothing, $BaseVal("Fun", $Fun("Foreign", $Tuple(matrixUpdate._1, matrixUpdate._2), Nil)))
   ),
+  $Tuple(
+    find_str._1,
+    $Val(void 0, Nothing, $BaseVal("Fun", $Fun("Foreign", $Tuple(find_str._1, find_str._2), Nil)))
+  ),
   $Tuple(search2._1, $Val(void 0, Nothing, $BaseVal("Fun", $Fun("Foreign", $Tuple(search2._1, search2._2), Nil)))),
   $Tuple(split3._1, $Val(void 0, Nothing, $BaseVal("Fun", $Fun("Foreign", $Tuple(split3._1, split3._2), Nil)))),
-  binaryZero22("div")({ i: $$int, o: $$int, fwd: intDiv2 }),
-  binaryZero22("mod")({ i: $$int, o: $$int, fwd: intMod }),
+  binaryZero22("//")({ i: $$int, o: $$int, fwd: div }),
+  binaryZero22("%")({ i: $$int, o: $$int, fwd: mod }),
   binaryZero22("quot")({ i: $$int, o: $$int, fwd: quot }),
   binaryZero22("rem")({ i: $$int, o: $$int, fwd: rem })
 ]))();