@explorable-viz/fluid 0.12.2 → 0.12.3

package/dist/fluid/shared/fluid.mjs

@@ -10920,7 +10920,6 @@ var between = (open2) => (close3) => (p) => (state1, more, lift12, $$throw2, don
 var $Assoc = (tag) => tag;
 var $Operator = (tag, _1, _2) => ({ tag, _1, _2 });
 var choice2 = /* @__PURE__ */ choice(foldableList);
-var identity17 = (x) => x;
 var AssocNone = /* @__PURE__ */ $Assoc("AssocNone");
 var AssocLeft = /* @__PURE__ */ $Assoc("AssocLeft");
 var AssocRight = /* @__PURE__ */ $Assoc("AssocRight");
@@ -10970,6 +10969,28 @@ var splitOp = (v) => (v1) => {
   }
   fail();
 };
+var rchainP = (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;
+    while (go$c) {
+      const b = go$a0, v = go$a1;
+      if (v.tag === "Nil") {
+        go$c = false;
+        go$r = b;
+        continue;
+      }
+      if (v.tag === "Cons") {
+        go$a0 = v._1(b);
+        go$a1 = v._2;
+        continue;
+      }
+      fail();
+    }
+    return go$r;
+  };
+  const $0 = manyRec2(p);
+  return (state1, more, lift12, $$throw2, done) => more((v1) => $0(state1, more, lift12, $$throw2, (state2, a) => more((v2) => done(state2, (a$1) => go(a$1)(a)))));
+};
 var rassocP1 = (x) => (rassocOp) => (prefixP) => (term) => (postfixP) => {
   const $0 = rassocP(x)(rassocOp)(prefixP)(term)(postfixP);
   return (v2, $1, $2, $3, $4) => {
@@ -11030,6 +11051,58 @@ var nassocP = (x) => (nassocOp) => (prefixP) => (term) => (postfixP) => (state1,
     ));
   })
 ));
+var lchainP = (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;
+    while (go$c) {
+      const b = go$a0, v = go$a1;
+      if (v.tag === "Nil") {
+        go$c = false;
+        go$r = b;
+        continue;
+      }
+      if (v.tag === "Cons") {
+        go$a0 = v._1(b);
+        go$a1 = v._2;
+        continue;
+      }
+      fail();
+    }
+    return go$r;
+  };
+  const $0 = manyRec2(p);
+  return (state1, more, lift12, $$throw2, done) => more((v1) => $0(
+    state1,
+    more,
+    lift12,
+    $$throw2,
+    (state2, a) => more((v2) => done(
+      state2,
+      (() => {
+        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 = go$1$a0, v1$1 = go$1$a1;
+            if (v1$1.tag === "Nil") {
+              go$1$c = false;
+              go$1$r = v;
+              continue;
+            }
+            if (v1$1.tag === "Cons") {
+              go$1$a0 = $List("Cons", v1$1._1, v);
+              go$1$a1 = v1$1._2;
+              continue;
+            }
+            fail();
+          }
+          return go$1$r;
+        };
+        const $1 = go$1(Nil)(a);
+        return (a$1) => go(a$1)($1);
+      })()
+    ))
+  ));
+};
 var lassocP1 = (x) => (lassocOp) => (prefixP) => (term) => (postfixP) => {
   const $0 = lassocP(x)(lassocOp)(prefixP)(term)(postfixP);
   return (v2, $1, $2, $3, $4) => {
@@ -11084,202 +11157,54 @@ var makeParser = (term) => (ops) => {
   })(ops);
   const lassocOp = choice2(accum.lassoc);
   const nassocOp = choice2(accum.nassoc);
-  const postfixOp = withErrorMessage(choice2(accum.postfix))("");
-  const prefixOp = withErrorMessage(choice2(accum.prefix))("");
+  const postfixP = rchainP(withErrorMessage(choice2(accum.postfix))(""));
+  const prefixP = lchainP(withErrorMessage(choice2(accum.prefix))(""));
   const rassocOp = choice2(accum.rassoc);
-  const $0 = termP((v2, $02, $1, $2, $3) => {
-    const $4 = v2._1;
-    const $5 = v2._2;
-    return $02((v3) => prefixOp(
-      $ParseState($4, $5, false),
-      $02,
-      $1,
-      (v4, $6) => {
-        const $7 = v4._3;
-        return $02((v5) => {
-          if ($7) {
-            return $2(v4, $6);
-          }
-          return $3(v2, identity17);
-        });
-      },
-      $3
-    ));
-  })(term)((v2, $02, $1, $2, $3) => {
-    const $4 = v2._1;
-    const $5 = v2._2;
-    return $02((v3) => postfixOp(
-      $ParseState($4, $5, false),
-      $02,
-      $1,
-      (v4, $6) => {
-        const $7 = v4._3;
-        return $02((v5) => {
-          if ($7) {
-            return $2(v4, $6);
-          }
-          return $3(v2, identity17);
-        });
-      },
-      $3
-    ));
-  });
-  return (state1, more, lift12, $$throw2, done) => more((v1) => $0(
+  return (state1, more, lift12, $$throw2, done) => more((v1) => termP(prefixP)(term)(postfixP)(
     state1,
     more,
     lift12,
     $$throw2,
     (state2, a) => more((v2) => {
-      const $1 = rassocP(a)(rassocOp)((v2$1, $12, $22, $32, $42) => {
-        const $52 = v2$1._1;
-        const $62 = v2$1._2;
-        return $12((v3) => prefixOp(
-          $ParseState($52, $62, false),
-          $12,
-          $22,
-          (v4, $72) => {
-            const $8 = v4._3;
-            return $12((v5) => {
-              if ($8) {
-                return $32(v4, $72);
-              }
-              return $42(v2$1, identity17);
-            });
-          },
-          $42
-        ));
-      })(term)((v2$1, $12, $22, $32, $42) => {
-        const $52 = v2$1._1;
-        const $62 = v2$1._2;
-        return $12((v3) => postfixOp(
-          $ParseState($52, $62, false),
-          $12,
-          $22,
-          (v4, $72) => {
-            const $8 = v4._3;
-            return $12((v5) => {
-              if ($8) {
-                return $32(v4, $72);
-              }
-              return $42(v2$1, identity17);
-            });
-          },
-          $42
-        ));
-      });
-      const $2 = lassocP(a)(lassocOp)((v2$1, $22, $32, $42, $52) => {
-        const $62 = v2$1._1;
-        const $72 = v2$1._2;
-        return $22((v3) => prefixOp(
-          $ParseState($62, $72, false),
-          $22,
-          $32,
-          (v4, $8) => {
-            const $9 = v4._3;
-            return $22((v5) => {
-              if ($9) {
-                return $42(v4, $8);
-              }
-              return $52(v2$1, identity17);
-            });
-          },
-          $52
-        ));
-      })(term)((v2$1, $22, $32, $42, $52) => {
-        const $62 = v2$1._1;
-        const $72 = v2$1._2;
-        return $22((v3) => postfixOp(
-          $ParseState($62, $72, false),
-          $22,
-          $32,
-          (v4, $8) => {
-            const $9 = v4._3;
-            return $22((v5) => {
-              if ($9) {
-                return $42(v4, $8);
-              }
-              return $52(v2$1, identity17);
-            });
-          },
-          $52
-        ));
-      });
-      const $3 = nassocP(a)(nassocOp)((v2$1, $32, $42, $52, $62) => {
-        const $72 = v2$1._1;
-        const $8 = v2$1._2;
-        return $32((v3) => prefixOp(
-          $ParseState($72, $8, false),
-          $32,
-          $42,
-          (v4, $9) => {
-            const $10 = v4._3;
-            return $32((v5) => {
-              if ($10) {
-                return $52(v4, $9);
-              }
-              return $62(v2$1, identity17);
-            });
-          },
-          $62
-        ));
-      })(term)((v2$1, $32, $42, $52, $62) => {
-        const $72 = v2$1._1;
-        const $8 = v2$1._2;
-        return $32((v3) => postfixOp(
-          $ParseState($72, $8, false),
-          $32,
-          $42,
-          (v4, $9) => {
-            const $10 = v4._3;
-            return $32((v5) => {
-              if ($10) {
-                return $52(v4, $9);
-              }
-              return $62(v2$1, identity17);
-            });
-          },
-          $62
-        ));
-      });
-      const $4 = withErrorMessage((state1$1, v, v1$1, v2$1, done$1) => done$1(state1$1, a))("operator");
-      const $5 = state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2;
-      const $6 = $5._1;
-      const $7 = $5._2;
-      return more((v3) => $1(
-        $ParseState($6, $7, false),
+      const $0 = withErrorMessage((state1$1, v, v1$1, v2$1, done$1) => done$1(state1$1, a))("operator");
+      const $1 = state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2;
+      const $2 = $1._1;
+      const $3 = $1._2;
+      return more((v3) => rassocP(a)(rassocOp)(prefixP)(term)(postfixP)(
+        $ParseState($2, $3, false),
         more,
         lift12,
-        (v4, $8) => {
-          const $9 = v4._3;
+        (v4, $4) => {
+          const $5 = v4._3;
           return more((v5) => {
-            if ($9) {
-              return $$throw2(v4, $8);
+            if ($5) {
+              return $$throw2(v4, $4);
             }
-            const $10 = $5._1;
-            const $11 = $5._2;
-            return more((v3$1) => $2(
-              $ParseState($10, $11, false),
+            const $6 = $1._1;
+            const $7 = $1._2;
+            return more((v3$1) => lassocP(a)(lassocOp)(prefixP)(term)(postfixP)(
+              $ParseState($6, $7, false),
               more,
               lift12,
-              (v4$1, $12) => {
-                const $13 = v4$1._3;
+              (v4$1, $8) => {
+                const $9 = v4$1._3;
                 return more((v5$1) => {
-                  if ($13) {
-                    return $$throw2(v4$1, $12);
+                  if ($9) {
+                    return $$throw2(v4$1, $8);
                   }
-                  const $14 = $5._1;
-                  const $15 = $5._2;
-                  return more((v3$2) => $3(
-                    $ParseState($14, $15, false),
+                  const $10 = $1._1;
+                  const $11 = $1._2;
+                  return more((v3$2) => nassocP(a)(nassocOp)(prefixP)(term)(postfixP)(
+                    $ParseState($10, $11, false),
                     more,
                     lift12,
-                    (v4$2, $16) => {
-                      const $17 = v4$2._3;
+                    (v4$2, $12) => {
+                      const $13 = v4$2._3;
                       return more((v5$2) => {
-                        if ($17) {
-                          return $$throw2(v4$2, $16);
+                        if ($13) {
+                          return $$throw2(v4$2, $12);
                         }
-                        return $4($5, more, lift12, $$throw2, done);
+                        return $0($1, more, lift12, $$throw2, done);
                       });
                     },
                     done
@@ -11297,37 +11222,78 @@ var makeParser = (term) => (ops) => {
 };
 
 // output-es/Primitive.Parse/index.js
-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 $Fixity = (tag, _1) => ({ tag, _1 });
+var $OpDef = (_1, _2, _3) => ({ tag: "OpDef", _1, _2, _3 });
+var $OpType = (tag) => tag;
+var lookup4 = (k) => {
+  const go = (go$a0$copy) => {
+    let go$a0 = go$a0$copy, go$c = true, go$r;
+    while (go$c) {
+      const v = go$a0;
+      if (v.tag === "Leaf") {
+        go$c = false;
+        go$r = Nothing;
+        continue;
+      }
+      if (v.tag === "Node") {
+        const v1 = ordString.compare(k)(v._3);
+        if (v1 === "LT") {
+          go$a0 = v._5;
+          continue;
+        }
+        if (v1 === "GT") {
+          go$a0 = v._6;
+          continue;
+        }
+        if (v1 === "EQ") {
+          go$c = false;
+          go$r = $Maybe("Just", v._4);
+          continue;
+        }
+      }
+      fail();
+    }
+    return go$r;
+  };
+  return go;
+};
+var $$Symbol = /* @__PURE__ */ $OpType("Symbol");
+var Ident = /* @__PURE__ */ $OpType("Ident");
+var CustomOp = /* @__PURE__ */ $OpType("CustomOp");
+var ConsOp = /* @__PURE__ */ $OpType("ConsOp");
+var Prefix = /* @__PURE__ */ $Fixity("Prefix");
 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)
+  [/* @__PURE__ */ $OpDef("!", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol)],
+  [/* @__PURE__ */ $OpDef("**", /* @__PURE__ */ $Fixity("Infix", AssocRight), $$Symbol)],
+  [
+    /* @__PURE__ */ $OpDef("*", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol),
+    /* @__PURE__ */ $OpDef("/", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol),
+    /* @__PURE__ */ $OpDef("//", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol),
+    /* @__PURE__ */ $OpDef("%", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol)
+  ],
+  [
+    /* @__PURE__ */ $OpDef("+", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol),
+    /* @__PURE__ */ $OpDef("-", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol)
+  ],
+  [/* @__PURE__ */ $OpDef(":", /* @__PURE__ */ $Fixity("Infix", AssocLeft), ConsOp)],
+  [/* @__PURE__ */ $OpDef("++", /* @__PURE__ */ $Fixity("Infix", AssocRight), $$Symbol)],
+  [/* @__PURE__ */ $OpDef("|x|", /* @__PURE__ */ $Fixity("Infix", AssocLeft), CustomOp)],
+  [
+    /* @__PURE__ */ $OpDef("==", /* @__PURE__ */ $Fixity("Infix", AssocNone), $$Symbol),
+    /* @__PURE__ */ $OpDef("/=", /* @__PURE__ */ $Fixity("Infix", AssocNone), $$Symbol),
+    /* @__PURE__ */ $OpDef("<", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol),
+    /* @__PURE__ */ $OpDef(">", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol),
+    /* @__PURE__ */ $OpDef("<=", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol),
+    /* @__PURE__ */ $OpDef(">=", /* @__PURE__ */ $Fixity("Infix", AssocLeft), $$Symbol)
+  ],
+  [/* @__PURE__ */ $OpDef("not", Prefix, Ident)],
+  [/* @__PURE__ */ $OpDef("and", /* @__PURE__ */ $Fixity("Infix", AssocLeft), Ident)],
+  [/* @__PURE__ */ $OpDef("or", /* @__PURE__ */ $Fixity("Infix", AssocLeft), Ident)]
 ];
-var opMap = /* @__PURE__ */ fromFoldable(ordString)(foldableArray)(/* @__PURE__ */ arrayMap((def) => $Tuple(
-  def._2,
-  def
-))(opDefs));
+var opPrecs = /* @__PURE__ */ fromFoldable(ordString)(foldableArray)(/* @__PURE__ */ arrayBind(/* @__PURE__ */ mapWithIndexArray(Tuple)(opDefs))((v) => {
+  const $0 = v._1;
+  return arrayBind(v._2)((v1) => [$Tuple(v1._1, 11 - $0 | 0)]);
+}));
 
 // output-es/Bind/index.js
 var union4 = /* @__PURE__ */ (() => setSet(ordString).union)();
@@ -11651,6 +11617,9 @@ var functorExpr2 = {
     if (m.tag === "BinaryApp") {
       return $Expr2("BinaryApp", functorExpr2.map(f)(m._1), m._2, functorExpr2.map(f)(m._3));
     }
+    if (m.tag === "UnaryPrefixApp") {
+      return $Expr2("UnaryPrefixApp", m._1, functorExpr2.map(f)(m._2));
+    }
     if (m.tag === "MatchAs") {
       return $Expr2(
         "MatchAs",
@@ -13210,6 +13179,9 @@ var exprFwd = (dictBoundedLattice) => {
       if (v.tag === "BinaryApp") {
         return Apply0.apply(Functor0.map(App2)(Functor0.map(App2($Expr("Op", v._2)))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._1))))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._3));
       }
+      if (v.tag === "UnaryPrefixApp") {
+        return Functor0.map(App2($Expr("Op", v._1)))(exprFwd(dictBoundedLattice)(dictMonadError)(dictBoundedLattice.BoundedJoinSemilattice0().JoinSemilattice0())(v._2));
+      }
       if (v.tag === "MatchAs") {
         return Apply0.apply(Functor0.map(App2)(Functor0.map(Lambda(top))(desugarableClausesElim.desug(dictMonadError)(dictBoundedLattice)($NonEmpty(
           $Tuple($NonEmpty(v._2._1._1, Nil), v._2._1._2),
@@ -13527,6 +13499,15 @@ var exprBwd = (dictBoundedJoinSemilattice) => (v) => (v1) => {
       }
       return throwException(error("absurd"))();
     }
+    if (v._1.tag === "Op") {
+      if (v1.tag === "UnaryPrefixApp") {
+        return $Expr2("UnaryPrefixApp", 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._1.tag === "Lambda") {
       if (v1.tag === "MatchAs") {
         return $Expr2(
@@ -13823,38 +13804,6 @@ var moduleFwd = (dictMonadError) => {
 };
 
 // output-es/Pretty/index.js
-var lookup4 = (k) => {
-  const go = (go$a0$copy) => {
-    let go$a0 = go$a0$copy, go$c = true, go$r;
-    while (go$c) {
-      const v = go$a0;
-      if (v.tag === "Leaf") {
-        go$c = false;
-        go$r = Nothing;
-        continue;
-      }
-      if (v.tag === "Node") {
-        const v1 = ordString.compare(k)(v._3);
-        if (v1 === "LT") {
-          go$a0 = v._5;
-          continue;
-        }
-        if (v1 === "GT") {
-          go$a0 = v._6;
-          continue;
-        }
-        if (v1 === "EQ") {
-          go$c = false;
-          go$r = $Maybe("Just", v._4);
-          continue;
-        }
-      }
-      fail();
-    }
-    return go$r;
-  };
-  return go;
-};
 var lessThanOrEq = (a1) => (a2) => a1 <= a2;
 var lessThan = (a1) => (a2) => a1 < a2;
 var toUnfoldable5 = /* @__PURE__ */ toAscUnfoldable(unfoldableList);
@@ -13880,16 +13829,6 @@ var vcommas = (v) => {
   }
   fail();
 };
-var getPrec = (x) => {
-  const v = lookup4(x)(opMap);
-  if (v.tag === "Just") {
-    return v._1._4;
-  }
-  if (v.tag === "Nothing") {
-    return -1;
-  }
-  fail();
-};
 var prettyConsArg = (dictRootOp) => (dictIsSimple) => (dictPretty) => (e) => (lhs) => {
   const v = dictRootOp.rootOp(e);
   if (v.tag === "Nothing") {
@@ -13899,7 +13838,25 @@ var prettyConsArg = (dictRootOp) => (dictIsSimple) => (dictPretty) => (e) => (lh
     return $Doc("Concat", $Doc("Text", "("), $Doc("Concat", dictPretty.pretty(e), $Doc("Text", ")")));
   }
   if (v.tag === "Just") {
-    if ((lhs ? lessThanOrEq : lessThan)(getPrec(v._1))(getPrec(":"))) {
+    if ((lhs ? lessThanOrEq : lessThan)((() => {
+      const v$1 = lookup4(v._1)(opPrecs);
+      if (v$1.tag === "Just") {
+        return v$1._1;
+      }
+      if (v$1.tag === "Nothing") {
+        return -1;
+      }
+      fail();
+    })())((() => {
+      const v$1 = lookup4(":")(opPrecs);
+      if (v$1.tag === "Just") {
+        return v$1._1;
+      }
+      if (v$1.tag === "Nothing") {
+        return -1;
+      }
+      fail();
+    })())) {
       return $Doc("Concat", $Doc("Text", "("), $Doc("Concat", dictPretty.pretty(e), $Doc("Text", ")")));
     }
     return dictPretty.pretty(e);
@@ -14166,7 +14123,7 @@ var prettyVarDef = (dictAnn) => ({
         "Concat",
         prettyPattern.pretty(v._1),
         (() => {
-          const $0 = prettyExpr1(dictAnn).pretty(v._2);
+          const $0 = prettyExpr(dictAnn).pretty(v._2);
           return $Doc(
             "StmtOrExpr",
             $Doc(
@@ -14206,7 +14163,7 @@ var prettyPattern$x215Expr = (dictAnn) => ({
         "Concat",
         prettyPattern.pretty(v._1),
         (() => {
-          const $0 = prettyExpr1(dictAnn).pretty(v._2);
+          const $0 = prettyExpr(dictAnn).pretty(v._2);
           return $Doc(
             "StmtOrExpr",
             $Doc(
@@ -14235,7 +14192,7 @@ var prettyParagraphElem = (dictAnn) => ({
       return $Doc("Text", v._1);
     }
     if (v.tag === "Unquote") {
-      return $Doc("Concat", $Doc("Text", "{"), $Doc("Concat", prettyExpr1(dictAnn).pretty(v._1), $Doc("Text", "}")));
+      return $Doc("Concat", $Doc("Text", "{"), $Doc("Concat", prettyExpr(dictAnn).pretty(v._1), $Doc("Text", "}")));
     }
     fail();
   }
@@ -14265,13 +14222,13 @@ var prettyListQualifier = (dictAnn) => ({
               $Doc(
                 "Concat",
                 prettyPattern.pretty(v._1._1._1),
-                $Doc("Concat", $Doc("Text", ":"), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v._1._1._2)))
+                $Doc("Concat", $Doc("Text", ":"), $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(v._1._1._2)))
               )
             )
           );
         }
         if (v._1.tag === "ListCompGuard") {
-          return $Doc("Concat", $Doc("Text", "if"), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v._1._1)));
+          return $Doc("Concat", $Doc("Text", "if"), $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(v._1._1)));
         }
         if (v._1.tag === "ListCompGen") {
           return $Doc(
@@ -14286,7 +14243,7 @@ var prettyListQualifier = (dictAnn) => ({
                 $Doc(
                   "Concat",
                   $Doc("Text", " "),
-                  $Doc("Concat", $Doc("Text", "in"), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v._1._2)))
+                  $Doc("Concat", $Doc("Text", "in"), $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(v._1._2)))
                 )
               )
             )
@@ -14308,13 +14265,16 @@ var prettyListParagraphElem = (dictAnn) => ({
     $Doc("Concat", hsep(listMap(prettyParagraphElem(dictAnn).pretty)(xs)), $Doc("Text", '"""'))
   )
 });
-var prettyExpr1 = (dictAnn) => {
+var prettyExpr = (dictAnn) => {
   const $0 = dictAnn.Highlightable0();
   const isSimpleExpr2 = {
     isSimple: (v) => {
       if (v.tag === "BinaryApp") {
         return false;
       }
+      if (v.tag === "UnaryPrefixApp") {
+        return false;
+      }
       if (v.tag === "Constr") {
         return v._2 !== ":";
       }
@@ -14344,6 +14304,9 @@ var prettyExpr1 = (dictAnn) => {
       if (v.tag === "BinaryApp") {
         return $Maybe("Just", v._2);
       }
+      if (v.tag === "UnaryPrefixApp") {
+        return $Maybe("Just", v._1);
+      }
       return Nothing;
     }
   })(isSimpleExpr2);
@@ -14372,7 +14335,7 @@ var prettyExpr1 = (dictAnn) => {
         if (v._3.tag === "Nil") {
           return $0.highlightIf(v._1)($Doc("Text", v._2));
         }
-        return $0.highlightIf(v._1)(expr(prettyConstr2(prettyExpr1(dictAnn))(v._2)(v._3)));
+        return $0.highlightIf(v._1)(expr(prettyConstr2(prettyExpr(dictAnn))(v._2)(v._3)));
       }
       if (v.tag === "Dictionary") {
         if (v._2.tag === "Nil") {
@@ -14384,7 +14347,7 @@ var prettyExpr1 = (dictAnn) => {
         return $0.highlightIf(v._1)(expr((() => {
           const $1 = $Doc(
             "Concat",
-            prettyExpr1(dictAnn).pretty(v._2),
+            prettyExpr(dictAnn).pretty(v._2),
             $Doc(
               "Concat",
               $Doc("Text", " "),
@@ -14412,7 +14375,7 @@ var prettyExpr1 = (dictAnn) => {
                     $Doc(
                       "Concat",
                       $Doc("Text", " "),
-                      $Doc("Concat", $Doc("Text", "in"), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v._4)))
+                      $Doc("Concat", $Doc("Text", "in"), $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(v._4)))
                     )
                   )
                 )
@@ -14437,7 +14400,7 @@ var prettyExpr1 = (dictAnn) => {
         return expr($Doc(
           "Concat",
           (() => {
-            const $1 = prettyExpr1(dictAnn);
+            const $1 = prettyExpr(dictAnn);
             if (isSimpleExpr2.isSimple(v._1)) {
               return $1.pretty(v._1);
             }
@@ -14450,20 +14413,23 @@ var prettyExpr1 = (dictAnn) => {
         return expr($Doc(
           "Concat",
           (() => {
-            const $1 = prettyExpr1(dictAnn);
+            const $1 = prettyExpr(dictAnn);
             if (isSimpleExpr2.isSimple(v._1)) {
               return $1.pretty(v._1);
             }
             return $Doc("Concat", $Doc("Text", "("), $Doc("Concat", $1.pretty(v._1), $Doc("Text", ")")));
           })(),
-          $Doc("Concat", $Doc("Text", "["), $Doc("Concat", expr(prettyExpr1(dictAnn).pretty(v._2)), $Doc("Text", "]")))
+          $Doc("Concat", $Doc("Text", "["), $Doc("Concat", expr(prettyExpr(dictAnn).pretty(v._2)), $Doc("Text", "]")))
         ));
       }
       if (v.tag === "App") {
         return expr(prettyAppChain(dictAnn)($Expr2("App", v._1, v._2))(Nil));
       }
       if (v.tag === "BinaryApp") {
-        return expr(binaryApp(dictAnn)(0)($Expr2("BinaryApp", v._1, v._2, v._3)));
+        return expr(operatorApp(dictAnn)(0)($Expr2("BinaryApp", v._1, v._2, v._3)));
+      }
+      if (v.tag === "UnaryPrefixApp") {
+        return expr(operatorApp(dictAnn)(0)($Expr2("UnaryPrefixApp", v._1, v._2)));
       }
       if (v.tag === "MatchAs") {
         return $Doc(
@@ -14474,7 +14440,7 @@ var prettyExpr1 = (dictAnn) => {
             $Doc("Text", " "),
             $Doc(
               "Concat",
-              prettyExpr1(dictAnn).pretty(v._1),
+              prettyExpr(dictAnn).pretty(v._1),
               (() => {
                 const $1 = prettyNonEmptyListPattern(dictAnn).pretty(v._2);
                 return $Doc(
@@ -14508,9 +14474,9 @@ var prettyExpr1 = (dictAnn) => {
             $Doc("Text", " "),
             $Doc(
               "Concat",
-              expr(prettyExpr1(dictAnn).pretty(v1._1)),
+              expr(prettyExpr(dictAnn).pretty(v1._1)),
               (() => {
-                const $1 = prettyExpr1(dictAnn).pretty(v1._2);
+                const $1 = prettyExpr(dictAnn).pretty(v1._2);
                 return $Doc(
                   "StmtOrExpr",
                   $Doc(
@@ -14542,7 +14508,7 @@ var prettyExpr1 = (dictAnn) => {
               "Concat",
               $Doc("Text", "else"),
               (() => {
-                const $1 = prettyExpr1(dictAnn).pretty(v._2);
+                const $1 = prettyExpr(dictAnn).pretty(v._2);
                 return $Doc(
                   "StmtOrExpr",
                   $Doc(
@@ -14576,7 +14542,7 @@ var prettyExpr1 = (dictAnn) => {
               $0.highlightIf(v1._1)($Doc("Text", ",")),
               $Doc(
                 "Concat",
-                v2 ? $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v1._2)) : $Doc("Indent", $Doc("Concat", Line, prettyExpr1(dictAnn).pretty(v1._2))),
+                v2 ? $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(v1._2)) : $Doc("Indent", $Doc("Concat", Line, prettyExpr(dictAnn).pretty(v1._2))),
                 collect(v1._3)(v2)
               )
             );
@@ -14594,8 +14560,8 @@ var prettyExpr1 = (dictAnn) => {
           $0.highlightIf(v._1)($Doc("Text", "[")),
           $Doc(
             "InlOrMul",
-            $Doc("Concat", prettyExpr1(dictAnn).pretty(v._2), collect(v._3)(true)),
-            $Doc("Concat", $Doc("Indent", $Doc("Concat", Line, prettyExpr1(dictAnn).pretty(v._2))), collect(v._3)(false))
+            $Doc("Concat", prettyExpr(dictAnn).pretty(v._2), collect(v._3)(true)),
+            $Doc("Concat", $Doc("Indent", $Doc("Concat", Line, prettyExpr(dictAnn).pretty(v._2))), collect(v._3)(false))
           )
         );
       }
@@ -14607,11 +14573,11 @@ var prettyExpr1 = (dictAnn) => {
             "Concat",
             expr($Doc(
               "Concat",
-              prettyExpr1(dictAnn).pretty(v._1),
+              prettyExpr(dictAnn).pretty(v._1),
               $Doc(
                 "Concat",
                 $Doc("Text", " "),
-                $Doc("Concat", $Doc("Text", ".."), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v._2)))
+                $Doc("Concat", $Doc("Text", ".."), $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(v._2)))
               )
             )),
             $Doc("Text", "]")
@@ -14626,7 +14592,7 @@ var prettyExpr1 = (dictAnn) => {
             "Concat",
             $Doc(
               "Concat",
-              expr(prettyExpr1(dictAnn).pretty(v._2)),
+              expr(prettyExpr(dictAnn).pretty(v._2)),
               $Doc("Concat", $Doc("Text", " "), prettyListQualifier(dictAnn).pretty(v._3))
             ),
             $Doc("Text", "]")
@@ -14640,7 +14606,7 @@ var prettyExpr1 = (dictAnn) => {
           $Doc(
             "Concat",
             $Doc("StmtOrExpr", $Doc("Concat", Line, Line), $Doc("Text", " ")),
-            prettyExpr1(dictAnn).pretty(v._2)
+            prettyExpr(dictAnn).pretty(v._2)
           )
         );
       }
@@ -14651,7 +14617,7 @@ var prettyExpr1 = (dictAnn) => {
           $Doc(
             "Concat",
             $Doc("StmtOrExpr", $Doc("Concat", Line, Line), $Doc("Text", " ")),
-            prettyExpr1(dictAnn).pretty(v._2)
+            prettyExpr(dictAnn).pretty(v._2)
           )
         );
       }
@@ -14663,8 +14629,8 @@ var prettyExpr1 = (dictAnn) => {
           "Concat",
           $Doc("Text", "@doc"),
           (() => {
-            const $1 = prettyExpr1(dictAnn).pretty(v._1);
-            const $2 = prettyExpr1(dictAnn).pretty(v._2);
+            const $1 = prettyExpr(dictAnn).pretty(v._1);
+            const $2 = prettyExpr(dictAnn).pretty(v._2);
             return $Doc(
               "InlOrMul",
               $Doc(
@@ -14691,15 +14657,15 @@ var prettyDictEntry$x215Expr = (dictAnn) => ({
     prettyDictEntry(dictAnn).pretty(v._1),
     stmt($Doc(
       "InlOrMul",
-      $Doc("Concat", $Doc("Text", ":"), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(v._2))),
-      $Doc("Concat", $Doc("Text", ":"), $Doc("Indent", $Doc("Concat", Line, prettyExpr1(dictAnn).pretty(v._2))))
+      $Doc("Concat", $Doc("Text", ":"), $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(v._2))),
+      $Doc("Concat", $Doc("Text", ":"), $Doc("Indent", $Doc("Concat", Line, prettyExpr(dictAnn).pretty(v._2))))
     ))
   )
 });
 var prettyDictEntry = (dictAnn) => ({
   pretty: (v) => {
     if (v.tag === "ExprKey") {
-      return $Doc("Concat", $Doc("Text", "["), $Doc("Concat", prettyExpr1(dictAnn).pretty(v._1), $Doc("Text", "]")));
+      return $Doc("Concat", $Doc("Text", "["), $Doc("Concat", prettyExpr(dictAnn).pretty(v._1), $Doc("Text", "]")));
     }
     if (v.tag === "VarKey") {
       return dictAnn.Highlightable0().highlightIf(v._1)($Doc("Text", v._2));
@@ -14727,7 +14693,7 @@ var prettyBranch = (dictAnn) => ({
             $Doc("Concat", prettyList5($List("Cons", v._2._1._1, v._2._1._2)), $Doc("Text", ")"))
           ),
           (() => {
-            const $0 = prettyExpr1(dictAnn).pretty(v._2._2);
+            const $0 = prettyExpr(dictAnn).pretty(v._2._2);
             return $Doc(
               "StmtOrExpr",
               $Doc(
@@ -14758,11 +14724,14 @@ var prettyAppChain = (dictAnn) => (v) => (v1) => {
   return $Doc(
     "Concat",
     (() => {
-      const $0 = prettyExpr1(dictAnn);
+      const $0 = prettyExpr(dictAnn);
       if ((() => {
         if (v.tag === "BinaryApp") {
           return false;
         }
+        if (v.tag === "UnaryPrefixApp") {
+          return false;
+        }
         if (v.tag === "Constr") {
           return v._2 !== ":";
         }
@@ -14784,30 +14753,35 @@ var prettyAppChain = (dictAnn) => (v) => (v1) => {
       }
       return $Doc("Concat", $Doc("Text", "("), $Doc("Concat", $0.pretty(v), $Doc("Text", ")")));
     })(),
-    $Doc("Concat", $Doc("Text", "("), $Doc("Concat", prettyList1(prettyExpr1(dictAnn))(v1), $Doc("Text", ")")))
+    $Doc("Concat", $Doc("Text", "("), $Doc("Concat", prettyList1(prettyExpr(dictAnn))(v1), $Doc("Text", ")")))
   );
 };
-var lambda = (dictAnn) => (ps) => (e) => $Doc(
-  "Concat",
-  $Doc("Text", "lambda"),
-  $Doc(
-    "Concat",
-    $Doc("Text", " "),
-    $Doc(
-      "Concat",
-      prettyList5(ps),
-      $Doc("Concat", $Doc("Text", ":"), $Doc("Concat", $Doc("Text", " "), prettyExpr1(dictAnn).pretty(e)))
-    )
-  )
-);
-var binaryApp = (dictAnn) => (v) => (v1) => {
+var operatorApp = (dictAnn) => (v) => (v1) => {
   if (v1.tag === "BinaryApp") {
-    const v2 = getPrec(v1._2);
+    const v$1 = lookup4(v1._2)(opPrecs);
+    const v2 = (() => {
+      if (v$1.tag === "Just") {
+        return v$1._1;
+      }
+      if (v$1.tag === "Nothing") {
+        return -1;
+      }
+      fail();
+    })();
     if (v2 === -1) {
-      const customPrec = getPrec("|x|");
+      const v$2 = lookup4("|x|")(opPrecs);
+      const customPrec = (() => {
+        if (v$2.tag === "Just") {
+          return v$2._1;
+        }
+        if (v$2.tag === "Nothing") {
+          return -1;
+        }
+        fail();
+      })();
       return $Doc(
         "Concat",
-        binaryApp(dictAnn)(customPrec)(v1._1),
+        operatorApp(dictAnn)(customPrec)(v1._1),
         $Doc(
           "Concat",
           $Doc("Text", " "),
@@ -14817,7 +14791,7 @@ var binaryApp = (dictAnn) => (v) => (v1) => {
             $Doc(
               "Concat",
               $Doc("Text", v1._2),
-              $Doc("Concat", $Doc("Text", "|"), $Doc("Concat", $Doc("Text", " "), binaryApp(dictAnn)(customPrec)(v1._3)))
+              $Doc("Concat", $Doc("Text", "|"), $Doc("Concat", $Doc("Text", " "), operatorApp(dictAnn)(customPrec)(v1._3)))
             )
           )
         )
@@ -14831,11 +14805,11 @@ var binaryApp = (dictAnn) => (v) => (v1) => {
           "Concat",
           $Doc(
             "Concat",
-            binaryApp(dictAnn)(v2)(v1._1),
+            operatorApp(dictAnn)(v2)(v1._1),
             $Doc(
               "Concat",
               $Doc("Text", " "),
-              $Doc("Concat", $Doc("Text", v1._2), $Doc("Concat", $Doc("Text", " "), binaryApp(dictAnn)(v2)(v1._3)))
+              $Doc("Concat", $Doc("Text", v1._2), $Doc("Concat", $Doc("Text", " "), operatorApp(dictAnn)(v2)(v1._3)))
             )
           ),
           $Doc("Text", ")")
@@ -14844,19 +14818,49 @@ var binaryApp = (dictAnn) => (v) => (v1) => {
     }
     return $Doc(
       "Concat",
-      binaryApp(dictAnn)(v2)(v1._1),
+      operatorApp(dictAnn)(v2)(v1._1),
       $Doc(
         "Concat",
         $Doc("Text", " "),
-        $Doc("Concat", $Doc("Text", v1._2), $Doc("Concat", $Doc("Text", " "), binaryApp(dictAnn)(v2)(v1._3)))
+        $Doc("Concat", $Doc("Text", v1._2), $Doc("Concat", $Doc("Text", " "), operatorApp(dictAnn)(v2)(v1._3)))
       )
     );
   }
-  const $0 = prettyExpr1(dictAnn);
+  if (v1.tag === "UnaryPrefixApp") {
+    const v$1 = lookup4(v1._1)(opPrecs);
+    const v2 = (() => {
+      if (v$1.tag === "Just") {
+        return v$1._1;
+      }
+      if (v$1.tag === "Nothing") {
+        return -1;
+      }
+      fail();
+    })();
+    if (v2 === -1) {
+      return throwException(error("not implemented!"))();
+    }
+    if (v2 <= v) {
+      return $Doc(
+        "Concat",
+        $Doc("Text", "("),
+        $Doc(
+          "Concat",
+          $Doc("Concat", $Doc("Text", v1._1), $Doc("Concat", $Doc("Text", " "), operatorApp(dictAnn)(v2)(v1._2))),
+          $Doc("Text", ")")
+        )
+      );
+    }
+    return $Doc("Concat", $Doc("Text", v1._1), $Doc("Concat", $Doc("Text", " "), operatorApp(dictAnn)(v2)(v1._2)));
+  }
+  const $0 = prettyExpr(dictAnn);
   if ((() => {
     if (v1.tag === "BinaryApp") {
       return false;
     }
+    if (v1.tag === "UnaryPrefixApp") {
+      return false;
+    }
     if (v1.tag === "Constr") {
       return v1._2 !== ":";
     }
@@ -14878,9 +14882,22 @@ var binaryApp = (dictAnn) => (v) => (v1) => {
   }
   return $Doc("Concat", $Doc("Text", "("), $Doc("Concat", $0.pretty(v1), $Doc("Text", ")")));
 };
+var lambda = (dictAnn) => (ps) => (e) => $Doc(
+  "Concat",
+  $Doc("Text", "lambda"),
+  $Doc(
+    "Concat",
+    $Doc("Text", " "),
+    $Doc(
+      "Concat",
+      prettyList5(ps),
+      $Doc("Concat", $Doc("Text", ":"), $Doc("Concat", $Doc("Text", " "), prettyExpr(dictAnn).pretty(e)))
+    )
+  )
+);
 
 // output-es/Data.Profunctor.Choice/index.js
-var identity20 = (x) => x;
+var identity19 = (x) => x;
 var fanin = (dictCategory) => {
   const identity1 = dictCategory.identity;
   const $0 = dictCategory.Semigroupoid0();
@@ -14893,7 +14910,7 @@ var fanin = (dictCategory) => {
       return v2._1;
     }
     fail();
-  })(identity20)(identity1))($1.compose(dictChoice.right(r))(dictChoice.left(l)));
+  })(identity19)(identity1))($1.compose(dictChoice.right(r))(dictChoice.left(l)));
 };
 var choiceFn = /* @__PURE__ */ (() => ({
   left: (v) => (v1) => {
@@ -14920,7 +14937,7 @@ var unions4 = /* @__PURE__ */ unions(foldableArray)(ordDVertex$p);
 var vertices = /* @__PURE__ */ (() => verticesDict(verticesElimVertex).vertices)();
 var unions13 = /* @__PURE__ */ unions(foldableList)(ordDVertex$p);
 var foldMap2 = /* @__PURE__ */ foldMap(/* @__PURE__ */ monoidSet(ordDVertex$p));
-var identity21 = (x) => x;
+var identity20 = (x) => x;
 var boundedLattice = { BoundedJoinSemilattice0: () => boundedJoinSemilatticeUni, BoundedMeetSemilattice1: () => boundedMeetSemilatticeUni };
 var setSet1 = /* @__PURE__ */ setSet(ordString);
 var toUnfoldable13 = (x) => {
@@ -15128,7 +15145,7 @@ var mapEnvStringVal = {
 var highlightableVertex = {
   highlightIf: (v) => (doc) => $Doc("Concat", doc, $Doc("Concat", $Doc("Text", "_"), $Doc("Text", "\u27E8" + v + "\u27E9")))
 };
-var highlightableUnit = { highlightIf: (v) => identity21 };
+var highlightableUnit = { highlightIf: (v) => identity20 };
 var functorMatrixDim = { map: (f) => (m) => $Tuple(m._1, f(m._2)) };
 var functorVal = {
   map: (f) => (m) => $Val(
@@ -15194,7 +15211,7 @@ var functorBaseVal = {
 var foldableMatrixDim = { foldl: (f) => (z) => (m) => f(z)(m._2), foldr: (f) => (z) => (m) => f(m._2)(z), foldMap: (dictMonoid) => (f) => (m) => f(m._2) };
 var traversableMatrixDim = {
   traverse: (dictApplicative) => (f) => (m) => dictApplicative.Apply0().Functor0().map((v1) => v1)(traversableTuple.traverse(dictApplicative)(f)(m)),
-  sequence: (dictApplicative) => (v) => traversableMatrixDim.traverse(dictApplicative)(identity21)(v),
+  sequence: (dictApplicative) => (v) => traversableMatrixDim.traverse(dictApplicative)(identity20)(v),
   Functor0: () => functorMatrixDim,
   Foldable1: () => foldableMatrixDim
 };
@@ -15441,7 +15458,7 @@ var traversableVal = {
     const Apply0 = dictApplicative.Apply0();
     return (f) => (m) => Apply0.apply(Apply0.apply(Apply0.Functor0().map((v3) => (v4) => (v5) => $Val(v3, v4, v5))(f(m._1)))(traversableMaybe.traverse(dictApplicative)(traversableVal.traverse(dictApplicative)(f))(m._2)))(traversableBaseVal.traverse(dictApplicative)(f)(m._3));
   },
-  sequence: (dictApplicative) => (v) => traversableVal.traverse(dictApplicative)(identity21)(v),
+  sequence: (dictApplicative) => (v) => traversableVal.traverse(dictApplicative)(identity20)(v),
   Functor0: () => functorVal,
   Foldable1: () => foldableVal
 };
@@ -15477,7 +15494,7 @@ var traversableFun = {
       fail();
     };
   },
-  sequence: (dictApplicative) => (v) => traversableFun.traverse(dictApplicative)(identity21)(v),
+  sequence: (dictApplicative) => (v) => traversableFun.traverse(dictApplicative)(identity20)(v),
   Functor0: () => functorFun,
   Foldable1: () => foldableFun
 };
@@ -15486,7 +15503,7 @@ var traversableEnv = {
     const traverse9 = traversableDict.traverse(dictApplicative);
     return (f) => (m) => dictApplicative.Apply0().Functor0().map((v1) => v1)(traverse9(traversableVal.traverse(dictApplicative)(f))(m));
   },
-  sequence: (dictApplicative) => (v) => traversableEnv.traverse(dictApplicative)(identity21)(v),
+  sequence: (dictApplicative) => (v) => traversableEnv.traverse(dictApplicative)(identity20)(v),
   Functor0: () => functorEnv,
   Foldable1: () => foldableEnv
 };
@@ -15530,7 +15547,7 @@ var traversableBaseVal = {
       fail();
     };
   },
-  sequence: (dictApplicative) => (v) => traversableBaseVal.traverse(dictApplicative)(identity21)(v),
+  sequence: (dictApplicative) => (v) => traversableBaseVal.traverse(dictApplicative)(identity20)(v),
   Functor0: () => functorBaseVal,
   Foldable1: () => foldableBaseVal
 };
@@ -17641,11 +17658,6 @@ function nullable(a, r, f) {
   return a == null ? r : f(a);
 }
 
-// output-es/Foreign/foreign.js
-var isArray = Array.isArray || function(value) {
-  return Object.prototype.toString.call(value) === "[object Array]";
-};
-
 // output-es/File/index.js
 var Folder = (x) => x;
 var show4 = /* @__PURE__ */ showArrayImpl(showStringImpl);
@@ -18421,7 +18433,7 @@ var align = (p) => (state1, more, lift12, $$throw2, done) => more((v2) => more((
 )));
 
 // output-es/Parse.Number/index.js
-var identity23 = (x) => x;
+var identity22 = (x) => x;
 var sign2 = (dictRing) => {
   const $0 = withErrorMessage(satisfy((v) => v === "-"))("'-'");
   const zero = dictRing.Semiring0().zero;
@@ -18451,10 +18463,10 @@ var sign2 = (dictRing) => {
                 if ($13) {
                   return $4(v4$1, $12);
                 }
-                return $5(v2, identity23);
+                return $5(v2, identity22);
               });
             },
-            (state2, a) => $2((v2$1) => $5(state2, identity23))
+            (state2, a) => $2((v2$1) => $5(state2, identity22))
           )));
         });
       },
@@ -18682,7 +18694,7 @@ var floating = /* @__PURE__ */ (() => {
     const $1 = (state2, a) => more((v2) => {
       const $12 = (() => {
         if (a.tag === "Nothing") {
-          return identity23;
+          return identity22;
         }
         if (a.tag === "Just") {
           return a._1;
@@ -19074,61 +19086,6 @@ var pattern$lazy = /* @__PURE__ */ binding(() => lazyParserT.defer((v) => foldlA
   [$Operator("Infix", pConsOp, AssocRight)]
 ])));
 var pattern = /* @__PURE__ */ pattern$lazy();
-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;
-    return more((v2) => more((v1$1) => $0(
-      state1,
-      more,
-      lift12,
-      (v2$1, $2) => $$throw2($ParseState(v2$1._1, v2$1._2, $1), $2),
-      (state2, a) => more((v2$1) => more((v3) => {
-        const state2$p = state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2;
-        return variable(
-          state2$p,
-          more,
-          lift12,
-          (v2$2, $2) => $$throw2($ParseState(v2$2._1, v2$2._2, $1), $2),
-          (state3, a$1) => more((v4) => {
-            const $2 = state2$p._3 && !state3._3 ? $ParseState(state3._1, state3._2, true) : state3;
-            return more((v2$2) => {
-              const $3 = delim(parseableChar)("|");
-              const $4 = state1._3 && !$2._3 ? $ParseState($2._1, $2._2, true) : $2;
-              return more((v1$2) => $3(
-                $4,
-                more,
-                lift12,
-                $$throw2,
-                (state2$1, a$2) => more((v2$3) => done(
-                  $4._3 && !state2$1._3 ? $ParseState(state2$1._1, state2$1._2, true) : state2$1,
-                  (e) => (e$p) => $Expr2("BinaryApp", e, a$1, e$p)
-                ))
-              ));
-            });
-          })
-        );
-      }))
-    )));
-  });
-})();
 var imports_ = /* @__PURE__ */ manyRec2(/* @__PURE__ */ (() => {
   const $0 = reserved("import");
   const $1 = joinWith("/");
@@ -19181,45 +19138,6 @@ var withImports = (p) => topLevel((state1, more, lift12, $$throw2, done) => more
     ));
   })
 )));
-var consOp = (state1, more, lift12, $$throw2, done) => more((v1) => reservedOperator(":|")(
-  state1,
-  more,
-  lift12,
-  $$throw2,
-  (state2, a) => more((v2) => done(
-    state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2,
-    (e) => (e$p) => $Expr2("Constr", void 0, ":", $List("Cons", e, $List("Cons", e$p, Nil)))
-  ))
-));
-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)(":");
@@ -20559,7 +20477,129 @@ 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))
         ));
-      })()))(opTable);
+      })()))(arrayMap(arrayMap((v) => {
+        if (v._3 === "Symbol") {
+          const $02 = (state1, more, lift12, $$throw2, done) => more((v1) => reservedOperator(v._1)(
+            state1,
+            more,
+            lift12,
+            $$throw2,
+            (state2, a) => more((v2) => done(state2, v._1))
+          ));
+          if (v._2.tag === "Infix") {
+            return $Operator(
+              "Infix",
+              (state1, more, lift12, $$throw2, done) => more((v1) => $02(
+                state1,
+                more,
+                lift12,
+                $$throw2,
+                (state2, a) => more((v2) => done(state2, (e) => (e$p) => $Expr2("BinaryApp", e, a, e$p)))
+              )),
+              v._2._1
+            );
+          }
+          if (v._2.tag === "Prefix") {
+            return $Operator(
+              "Prefix",
+              (state1, more, lift12, $$throw2, done) => more((v1) => $02(state1, more, lift12, $$throw2, (state2, a) => more((v2) => done(state2, (e) => $Expr2("UnaryPrefixApp", a, e)))))
+            );
+          }
+          if (v._2.tag === "Postfix") {
+            return throwException(error("not implemented!"))();
+          }
+          fail();
+        }
+        if (v._3 === "Ident") {
+          const $02 = reserved(v._1);
+          const $1 = (state1, more, lift12, $$throw2, done) => more((v1) => $02(state1, more, lift12, $$throw2, (state2, a) => more((v2) => done(state2, v._1))));
+          if (v._2.tag === "Infix") {
+            return $Operator(
+              "Infix",
+              (state1, more, lift12, $$throw2, done) => more((v1) => $1(
+                state1,
+                more,
+                lift12,
+                $$throw2,
+                (state2, a) => more((v2) => done(state2, (e) => (e$p) => $Expr2("BinaryApp", e, a, e$p)))
+              )),
+              v._2._1
+            );
+          }
+          if (v._2.tag === "Prefix") {
+            return $Operator(
+              "Prefix",
+              (state1, more, lift12, $$throw2, done) => more((v1) => $1(state1, more, lift12, $$throw2, (state2, a) => more((v2) => done(state2, (e) => $Expr2("UnaryPrefixApp", a, e)))))
+            );
+          }
+          if (v._2.tag === "Postfix") {
+            return throwException(error("not implemented!"))();
+          }
+          fail();
+        }
+        if (v._3 === "CustomOp") {
+          const $02 = delim(parseableChar)("|");
+          const $1 = delim(parseableChar)("|");
+          return $Operator(
+            "Infix",
+            (state1, more, lift12, $$throw2, done) => more((v1) => more((v2) => more((v1$1) => {
+              const $2 = state1._3;
+              return more((v2$1) => more((v1$2) => $02(
+                state1,
+                more,
+                lift12,
+                (v2$2, $3) => $$throw2($ParseState(v2$2._1, v2$2._2, $2), $3),
+                (state2, a) => more((v2$2) => more((v3) => {
+                  const state2$p = state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2;
+                  return variable(
+                    state2$p,
+                    more,
+                    lift12,
+                    (v2$3, $3) => $$throw2($ParseState(v2$3._1, v2$3._2, $2), $3),
+                    (state3, a$1) => more((v4) => {
+                      const $3 = state2$p._3 && !state3._3 ? $ParseState(state3._1, state3._2, true) : state3;
+                      return more((v2$3) => more((v3$1) => {
+                        const state2$p$1 = state1._3 && !$3._3 ? $ParseState($3._1, $3._2, true) : $3;
+                        return $1(
+                          state2$p$1,
+                          more,
+                          lift12,
+                          $$throw2,
+                          (state3$1, a$2) => more((v4$1) => {
+                            const $4 = state2$p$1._3 && !state3$1._3 ? $ParseState(state3$1._1, state3$1._2, true) : state3$1;
+                            return more((v2$4) => done($4, (e) => (e$p) => $Expr2("BinaryApp", e, a$1, e$p)));
+                          })
+                        );
+                      }));
+                    })
+                  );
+                }))
+              )));
+            }))),
+            AssocLeft
+          );
+        }
+        if (v._3 === "ConsOp") {
+          return $Operator(
+            "Infix",
+            (state1, more, lift12, $$throw2, done) => more((v1) => reservedOperator(":|")(
+              state1,
+              more,
+              lift12,
+              $$throw2,
+              (state2, a) => more((v2) => done(
+                state1._3 && !state2._3 ? $ParseState(state2._1, state2._2, true) : state2,
+                (e) => (e$p) => $Expr2("Constr", void 0, ":", $List("Cons", e, $List("Cons", e$p, Nil)))
+              ))
+            )),
+            AssocRight
+          );
+        }
+        if (v._3 === "ProjectOp") {
+          return throwException(error("not implemented!"))();
+        }
+        fail();
+      }))(opDefs));
     })());
     return (state1, more, lift12, $$throw2, done) => more((v2) => more((v1) => $0(
       state1,
@@ -22137,7 +22177,7 @@ var manyM = (p) => freeMonadRec.tailRecM((acc) => $Free(
 var $DefaultProp = (_1, _2) => ({ tag: "DefaultProp", _1, _2 });
 var $Mod = (_1, _2, _3) => ({ tag: "Mod", _1, _2, _3 });
 var lookup6 = /* @__PURE__ */ lookup(foldableArray)(eqString);
-var identity25 = (x) => x;
+var identity24 = (x) => x;
 var Mod = (value0) => (value1) => (value2) => $Mod(value0, value1, value2);
 var optionFieldsHasName = { name: (n) => (fields2) => ({ optNames: [n, ...fields2.optNames], optCompleter: fields2.optCompleter, optNoArgError: fields2.optNoArgError }) };
 var mkCommand = (m) => {
@@ -22148,8 +22188,8 @@ var mkCommand = (m) => {
 var modSemigroup = {
   append: (v) => (v1) => $Mod((x) => v1._1(v._1(x)), $DefaultProp(v1._2._1.tag === "Nothing" ? v._2._1 : v1._2._1, v1._2._2.tag === "Nothing" ? v._2._2 : v1._2._2), (x) => v1._3(v._3(x)))
 };
-var modMonoid = { mempty: /* @__PURE__ */ $Mod(identity25, /* @__PURE__ */ $DefaultProp(Nothing, Nothing), identity25), Semigroup0: () => modSemigroup };
-var optionMod = /* @__PURE__ */ Mod(identity25)(/* @__PURE__ */ $DefaultProp(Nothing, Nothing));
+var modMonoid = { mempty: /* @__PURE__ */ $Mod(identity24, /* @__PURE__ */ $DefaultProp(Nothing, Nothing), identity24), Semigroup0: () => modSemigroup };
+var optionMod = /* @__PURE__ */ Mod(identity24)(/* @__PURE__ */ $DefaultProp(Nothing, Nothing));
 var internal = /* @__PURE__ */ optionMod((p) => ({ propVisibility: Internal, propDescMod: p.propDescMod, propHelp: p.propHelp, propMetaVar: p.propMetaVar, propShowDefault: p.propShowDefault }));
 var baseProps = {
   propMetaVar: "",
@@ -22191,7 +22231,7 @@ var mkParser = (v) => (g) => (rdr) => {
 };
 
 // output-es/Options.Applicative.Builder/index.js
-var identity26 = (x) => x;
+var identity25 = (x) => x;
 var fold3 = /* @__PURE__ */ (() => foldableArray.foldMap(modMonoid)(identity3))();
 var progDesc = (s) => (i) => ({
   infoProgDesc: paragraph(s),
@@ -22277,19 +22317,19 @@ var defaultPrefs = {
 var command = (cmd) => (pinfo) => $Mod(
   (p) => ({ cmdCommands: [$Tuple(cmd, pinfo), ...p.cmdCommands], cmdGroup: p.cmdGroup }),
   $DefaultProp(Nothing, Nothing),
-  identity25
+  identity24
 );
 var abortOption = (err) => (m) => {
   const $0 = fold3([
     $Mod(
       (p) => ({ optNoArgError: (v) => err, optCompleter: p.optCompleter, optNames: p.optNames }),
       $DefaultProp(Nothing, Nothing),
-      identity25
+      identity24
     ),
     $Mod(
-      identity26,
-      $DefaultProp($Maybe("Just", identity26), Nothing),
-      identity26
+      identity25,
+      $DefaultProp($Maybe("Just", identity25), Nothing),
+      identity25
     ),
     optionMod((p) => ({ propMetaVar: "", propDescMod: p.propDescMod, propHelp: p.propHelp, propShowDefault: p.propShowDefault, propVisibility: p.propVisibility }))
   ]);
@@ -23250,7 +23290,7 @@ var mapParser = (f) => {
 // output-es/Options.Applicative.BashCompletion/index.js
 var $Richness = (tag, _1, _2) => ({ tag, _1, _2 });
 var fromFoldable17 = /* @__PURE__ */ foldrArray(Cons)(Nil);
-var identity27 = (x) => x;
+var identity26 = (x) => x;
 var fold4 = /* @__PURE__ */ (() => foldableArray.foldMap(monoidArray)(identity3))();
 var sequence = /* @__PURE__ */ (() => traversableArray.traverse(applicativeEffect)(identity4))();
 var unLines = (xs) => foldlArray((v) => (v1) => {
@@ -23363,7 +23403,7 @@ var bashCompletionQuery = (pinfo) => (pprefs) => (richness) => (ws) => (i) => (v
   const $0 = arrayMap(showOption);
   const add_opt_help1 = (opt) => {
     if (richness.tag === "Standard") {
-      return identity27;
+      return identity26;
     }
     if (richness.tag === "Enriched") {
       const $1 = richness._1;
@@ -23436,7 +23476,7 @@ var bashCompletionQuery = (pinfo) => (pprefs) => (richness) => (ws) => (i) => (v
           }
           const $22 = (() => {
             if (richness.tag === "Standard") {
-              return identity27;
+              return identity26;
             }
             if (richness.tag === "Enriched") {
               const $23 = richness._2;
@@ -23733,7 +23773,7 @@ var chunkMonoid2 = /* @__PURE__ */ (() => {
   return { mempty: Nothing, Semigroup0: () => chunkSemigroup1 };
 })();
 var listToChunk2 = /* @__PURE__ */ listToChunk(docMonoid);
-var identity28 = (x) => x;
+var identity27 = (x) => x;
 var usageHelp = (chunk) => ({
   helpUsage: chunk,
   helpBody: parserHelpMonoid.mempty.helpBody,
@@ -23772,7 +23812,7 @@ var optDesc = (pprefs) => (style) => (info2) => (opt) => {
   })()));
   return (() => {
     if (opt.optProps.propDescMod.tag === "Nothing") {
-      return identity28;
+      return identity27;
     }
     if (opt.optProps.propDescMod.tag === "Just") {
       return (v1) => {
@@ -24455,12 +24495,12 @@ var helper = /* @__PURE__ */ (() => abortOption(ShowHelpText)(foldableArray.fold
   $Mod(
     optionFieldsHasName.name($OptName("OptLong", "help")),
     $DefaultProp(Nothing, Nothing),
-    identity25
+    identity24
   ),
   $Mod(
     optionFieldsHasName.name($OptName("OptShort", "h")),
     $DefaultProp(Nothing, Nothing),
-    identity25
+    identity24
   ),
   help("Show this help text"),
   hidden
@@ -25443,7 +25483,7 @@ var parse3 = (v) => {
       return (v$1) => $0;
     }
     if (v1.tag === "Right") {
-      const $0 = _pure(renderWithIndent(Stmt)(0)(0)(prettyExpr1(annUnit).pretty(v1._1._1))._1);
+      const $0 = _pure(renderWithIndent(Stmt)(0)(0)(prettyExpr(annUnit).pretty(v1._1._1))._1);
       return (v$1) => $0;
     }
     fail();