npm - @explorable-viz/fluid - Versions diffs - 0.7.95 → 0.7.96 - Mend

@explorable-viz/fluid 0.7.95 → 0.7.96

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (14) hide show

package/dist/fluid/fluid/lib/matrix.fld +16 -18
package/dist/fluid/shared/fluid.mjs +311 -474
package/dist/fluid/shared/load-figure.js +700 -458
package/package.json +2 -1
package/script/bundle-website.sh +1 -2
package/website/article/convolution/index.html +1 -1
package/website/article/fluid/1805.02474v1-10.fld +33 -0
package/website/article/fluid/convolution.fld +1 -0
package/website/article/index.html +1 -1
package/website/article/transparent-text/index.html +45 -0
package/website/article/transparent-text/spec.json +9 -0
package/website/article/image/fluid-logo.png +0 -0
package/website/article/image/iccs-full-logo.png +0 -0
package/website/article/image/schmidtsciences_primary_color.png +0 -0

package/dist/fluid/shared/load-figure.js CHANGED Viewed

@@ -1851,7 +1851,7 @@ var foldableNonEmptyList = {
 };
 var semigroupNonEmptyList = { append: (v) => (as$p) => $NonEmpty(v._1, foldableList.foldr(Cons)($List("Cons", as$p._1, as$p._2))(v._2)) };
 var showList = (dictShow) => {
-  const show5 = dictShow.show;
+  const show4 = dictShow.show;
   return {
     show: (v) => {
       if (v.tag === "Nil") {
@@ -1875,7 +1875,7 @@ var showList = (dictShow) => {
         }
         return go$r;
       };
-      return "(" + go({ init: true, acc: "" })(listMap(show5)(v)).acc + " : Nil)";
+      return "(" + go({ init: true, acc: "" })(listMap(show4)(v)).acc + " : Nil)";
     }
   };
 };
@@ -27828,8 +27828,8 @@ var dataTypes = /* @__PURE__ */ foldrArray(Cons)(Nil)([
   /* @__PURE__ */ dataType("View")([
     /* @__PURE__ */ $Tuple("BarChart", 1),
     /* @__PURE__ */ $Tuple("LineChart", 1),
-    /* @__PURE__ */ $Tuple("Paragraph", 1),
     /* @__PURE__ */ $Tuple("MultiView", 1),
+    /* @__PURE__ */ $Tuple("Paragraph", 1),
     /* @__PURE__ */ $Tuple("ScatterPlot", 1)
   ]),
   /* @__PURE__ */ dataType("Point")([/* @__PURE__ */ $Tuple("Point", 2)]),
@@ -36216,7 +36216,7 @@ var unary = (dictBoundedJoinSemilattice) => {
               arity: 1,
               op: (dictMonadWithGraphAlloc) => {
                 const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
-                return (dictMonadError) => (v) => {
+                return (dictMonadError) => (dictLoadFile) => (v) => {
                   if (v.tag === "Cons" && v._2.tag === "Nil") {
                     const $0 = v._1._2;
                     return $$new((a) => Val(a)($0))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))(f.o.pack(f.fwd(f.i.unpack(v._1._3))));
@@ -36365,7 +36365,7 @@ var binaryZero = (dictBoundedJoinSemilattice) => {
               arity: 2,
               op: (dictMonadWithGraphAlloc) => {
                 const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
-                return (dictMonadError) => (v) => {
+                return (dictMonadError) => (dictLoadFile) => (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);
@@ -36413,7 +36413,7 @@ var binary = (dictBoundedJoinSemilattice) => {
               arity: 2,
               op: (dictMonadWithGraphAlloc) => {
                 const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
-                return (dictMonadError) => (v) => {
+                return (dictMonadError) => (dictLoadFile) => (v) => {
                   if (v.tag === "Cons" && v._2.tag === "Cons" && v._2._2.tag === "Nil") {
                     return $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
                       "Two",
@@ -36654,7 +36654,7 @@ var runAffs_ = (f) => (as1) => {
     $0();
   };
 };
-var primary = (dictApply) => (f) => dictApply.Functor0().map((v) => {
+var primary = (dictApply) => (x2) => dictApply.Functor0().map((v) => {
   if (v.tag === "Inert") {
     return Inert;
   }
@@ -36662,7 +36662,7 @@ var primary = (dictApply) => (f) => dictApply.Functor0().map((v) => {
     return $SelState("Reactive", v._1 ? Primary : None2);
   }
   fail();
-})(f);
+})(x2);
 var get_intOrNumber = (x2) => (r) => {
   const $0 = $$get2(showString)(mapDictString)(x2)(r);
   const $1 = intOrNumber.unpack($0._2._3);
@@ -36887,7 +36887,7 @@ var as\u{1D54A} = (v) => (v1) => {
 };
 var primaryOrSecondary = (dictApply) => {
   const $0 = dictApply.Functor0();
-  return (selType) => (f) => (f1) => dictApply.apply($0.map((a) => (b) => applySelState.apply((() => {
+  return (selType) => (x2) => (x$p) => dictApply.apply($0.map((a) => (b) => applySelState.apply((() => {
     if (a.tag === "Inert") {
       return Inert;
     }
@@ -36895,7 +36895,7 @@ var primaryOrSecondary = (dictApply) => {
       return $SelState("Reactive", as\u{1D54A}(a._1));
     }
     fail();
-  })())(b))($0.map(getSel(selType))(f)))(f1);
+  })())(b))($0.map(getSel(selType))(x2)))(x$p);
 };
 // output-es/App.Util.Selector/index.js
@@ -37218,10 +37218,12 @@ var $ElementType = (tag) => tag;
 var fromFoldable9 = /* @__PURE__ */ fromFoldable(foldableArray);
 var Caption = /* @__PURE__ */ $ElementType("Caption");
 var Circle = /* @__PURE__ */ $ElementType("Circle");
+var Div = /* @__PURE__ */ $ElementType("Div");
 var G = /* @__PURE__ */ $ElementType("G");
 var Line2 = /* @__PURE__ */ $ElementType("Line");
 var Path2 = /* @__PURE__ */ $ElementType("Path");
 var Rect = /* @__PURE__ */ $ElementType("Rect");
+var Span = /* @__PURE__ */ $ElementType("Span");
 var SVG = /* @__PURE__ */ $ElementType("SVG");
 var Table = /* @__PURE__ */ $ElementType("Table");
 var Text2 = /* @__PURE__ */ $ElementType("Text");
@@ -37242,54 +37244,64 @@ var genericElementType_ = {
       }
       if (x2._1.tag === "Inr") {
         if (x2._1._1.tag === "Inl") {
-          return G;
+          return Div;
         }
         if (x2._1._1.tag === "Inr") {
           if (x2._1._1._1.tag === "Inl") {
-            return Line2;
+            return G;
           }
           if (x2._1._1._1.tag === "Inr") {
             if (x2._1._1._1._1.tag === "Inl") {
-              return Path2;
+              return Line2;
             }
             if (x2._1._1._1._1.tag === "Inr") {
               if (x2._1._1._1._1._1.tag === "Inl") {
-                return Rect;
+                return Path2;
               }
               if (x2._1._1._1._1._1.tag === "Inr") {
                 if (x2._1._1._1._1._1._1.tag === "Inl") {
-                  return SVG;
+                  return Rect;
                 }
                 if (x2._1._1._1._1._1._1.tag === "Inr") {
                   if (x2._1._1._1._1._1._1._1.tag === "Inl") {
-                    return Table;
+                    return Span;
                   }
                   if (x2._1._1._1._1._1._1._1.tag === "Inr") {
                     if (x2._1._1._1._1._1._1._1._1.tag === "Inl") {
-                      return Text2;
+                      return SVG;
                     }
                     if (x2._1._1._1._1._1._1._1._1.tag === "Inr") {
                       if (x2._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                        return TBody;
+                        return Table;
                       }
                       if (x2._1._1._1._1._1._1._1._1._1.tag === "Inr") {
                         if (x2._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                          return TD;
+                          return Text2;
                         }
                         if (x2._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
                           if (x2._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                            return TH;
+                            return TBody;
                           }
                           if (x2._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
                             if (x2._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                              return THead;
+                              return TD;
                             }
                             if (x2._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
                               if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
-                                return TR;
+                                return TH;
                               }
                               if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
-                                return Pattern;
+                                if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
+                                  return THead;
+                                }
+                                if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
+                                  if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inl") {
+                                    return TR;
+                                  }
+                                  if (x2._1._1._1._1._1._1._1._1._1._1._1._1._1._1._1.tag === "Inr") {
+                                    return Pattern;
+                                  }
+                                }
                               }
                             }
                           }
@@ -37313,19 +37325,19 @@ var genericElementType_ = {
     if (x2 === "Circle") {
       return $Sum("Inr", $Sum("Inl", NoArguments));
     }
-    if (x2 === "G") {
+    if (x2 === "Div") {
       return $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments)));
     }
-    if (x2 === "Line") {
+    if (x2 === "G") {
       return $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))));
     }
-    if (x2 === "Path") {
+    if (x2 === "Line") {
       return $Sum(
         "Inr",
         $Sum("Inr", $Sum("Inr", $Sum("Inr", $Sum("Inl", NoArguments))))
       );
     }
-    if (x2 === "Rect") {
+    if (x2 === "Path") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37334,7 +37346,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "SVG") {
+    if (x2 === "Rect") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37346,7 +37358,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "Table") {
+    if (x2 === "Span") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37361,7 +37373,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "Text") {
+    if (x2 === "SVG") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37379,7 +37391,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "TBody") {
+    if (x2 === "Table") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37400,7 +37412,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "TD") {
+    if (x2 === "Text") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37424,7 +37436,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "TH") {
+    if (x2 === "TBody") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37451,7 +37463,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "THead") {
+    if (x2 === "TD") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37484,7 +37496,7 @@ var genericElementType_ = {
         )
       );
     }
-    if (x2 === "TR") {
+    if (x2 === "TH") {
       return $Sum(
         "Inr",
         $Sum(
@@ -37520,6 +37532,87 @@ var genericElementType_ = {
         )
       );
     }
+    if (x2 === "THead") {
+      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", NoArguments)))
+                            )
+                          )
+                        )
+                      )
+                    )
+                  )
+                )
+              )
+            )
+          )
+        )
+      );
+    }
+    if (x2 === "TR") {
+      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", NoArguments)))
+                              )
+                            )
+                          )
+                        )
+                      )
+                    )
+                  )
+                )
+              )
+            )
+          )
+        )
+      );
+    }
     if (x2 === "Pattern") {
       return $Sum(
         "Inr",
@@ -37543,7 +37636,13 @@ var genericElementType_ = {
                           "Inr",
                           $Sum(
                             "Inr",
-                            $Sum("Inr", $Sum("Inr", $Sum("Inr", NoArguments)))
+                            $Sum(
+                              "Inr",
+                              $Sum(
+                                "Inr",
+                                $Sum("Inr", $Sum("Inr", $Sum("Inr", NoArguments)))
+                              )
+                            )
                           )
                         )
                       )
@@ -37566,38 +37665,66 @@ var showElementType = {
     const $2 = (() => {
       const $22 = (() => {
         const $23 = (() => {
-          const $24 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "G" });
+          const $24 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Div" });
           const $3 = (() => {
-            const $32 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Line" });
+            const $32 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "G" });
             const $4 = (() => {
-              const $42 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Path" });
+              const $42 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Line" });
               const $5 = (() => {
-                const $52 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Rect" });
+                const $52 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Path" });
                 const $6 = (() => {
-                  const $62 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "SVG" });
+                  const $62 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Rect" });
                   const $7 = (() => {
-                    const $72 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Table" });
+                    const $72 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Span" });
                     const $8 = (() => {
-                      const $82 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Text" });
+                      const $82 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "SVG" });
                       const $9 = (() => {
-                        const $92 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TBody" });
+                        const $92 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Table" });
                         const $10 = (() => {
-                          const $102 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TD" });
+                          const $102 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Text" });
                           const $11 = (() => {
-                            const $112 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TH" });
+                            const $112 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TBody" });
                             const $12 = (() => {
-                              const $122 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "THead" });
+                              const $122 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TD" });
                               const $13 = (() => {
-                                const $132 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TR" });
+                                const $132 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TH" });
                                 const $14 = (() => {
-                                  const $142 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Pattern" });
+                                  const $142 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "THead" });
+                                  const $15 = (() => {
+                                    const $152 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "TR" });
+                                    const $16 = (() => {
+                                      const $162 = genericShowConstructor(genericShowArgsNoArguments)({ reflectSymbol: () => "Pattern" });
+                                      return {
+                                        "genericShow'": (v) => {
+                                          if (v.tag === "Inl") {
+                                            return $152["genericShow'"](v._1);
+                                          }
+                                          if (v.tag === "Inr") {
+                                            return $162["genericShow'"](v._1);
+                                          }
+                                          fail();
+                                        }
+                                      };
+                                    })();
+                                    return {
+                                      "genericShow'": (v) => {
+                                        if (v.tag === "Inl") {
+                                          return $142["genericShow'"](v._1);
+                                        }
+                                        if (v.tag === "Inr") {
+                                          return $16["genericShow'"](v._1);
+                                        }
+                                        fail();
+                                      }
+                                    };
+                                  })();
                                   return {
                                     "genericShow'": (v) => {
                                       if (v.tag === "Inl") {
                                         return $132["genericShow'"](v._1);
                                       }
                                       if (v.tag === "Inr") {
-                                        return $142["genericShow'"](v._1);
+                                        return $15["genericShow'"](v._1);
                                       }
                                       fail();
                                     }
@@ -38119,7 +38246,9 @@ var setSelStates$p = (v) => (select2) => (rootElement) => {
 };
 var createRootElement$p = (v) => (parent) => {
   const $0 = v._2;
-  const $1 = createChild(parent)(showElementType.show(G))(fromFoldable9([]));
+  const $1 = createChild(parent)(showElementType.show(Div))(fromFoldable9([
+    $Tuple("class", "para-text")
+  ]));
   return () => {
     const rootElement = $1();
     sequence_2(arrayMap((view2) => view2((dictView) => (v1) => dictView.createElement()(v1)(rootElement)))($0))();
@@ -38504,6 +38633,7 @@ function createElement_({ val }, { title: title2, matrix }, parent) {
     const vMargin = h / 2;
     const rootElement = parent.append("svg");
     rootElement.attr("width", width + hMargin).attr("height", height + vMargin);
+    rootElement.append("text").text(title2 === "intermediate" ? " " : title2).attr("x", hMargin / 2).attr("y", vMargin / 2).attr("class", "title-text").attr("dominant-baseline", "middle").attr("text-anchor", "left");
     const matrixGrp = rootElement.append("g").attr("transform", `translate(${highlightStrokeWidth / 2 + hMargin / 2}, ${highlightStrokeWidth / 2 + vMargin})`).attr("fill", "currentColor").attr("stroke", "currentColor").attr("stroke-width", ".25");
     const rowGrp = matrixGrp.selectAll("g").data([...matrix.cells.entries()].map(([i, ns]) => {
       return { i: i + 1, ns };
@@ -38604,7 +38734,7 @@ var setSelStates$p2 = (v) => (select2) => (rootElement) => sequence_3((() => {
 })());
 var createRootElement$p2 = (v) => (parent) => {
   const views$p = toUnfoldable9(v._1);
-  const $0 = createChild(parent)(showElementType.show(G))(fromFoldable9([]));
+  const $0 = createChild(parent)(showElementType.show(Div))(fromFoldable9([]));
   return () => {
     const rootElement = $0();
     sequence_3(arrayMap((v1) => v1._2((dictView) => (v2) => dictView.createElement()(v2)(rootElement)))(views$p))();
@@ -39027,9 +39157,7 @@ var textAttrs = (dictTextual) => (x2) => {
 var viewTextUnit = {
   createElement: (v) => (v1) => (parent) => {
     const $0 = v1._1;
-    const $1 = createChild(parent)(showElementType.show(Text2))(fromFoldable9([
-      $Tuple("class", "para-text")
-    ]));
+    const $1 = createChild(parent)(showElementType.show(Span))(fromFoldable9([]));
     return () => {
       const rootElement = $1();
       return setText($0)(rootElement)();
@@ -39037,7 +39165,7 @@ var viewTextUnit = {
   },
   setSelection: (v) => (v1) => (redraw) => (rootElement) => {
     const $0 = v1._1;
-    const $1 = select(".para-text")(rootElement);
+    const $1 = select(":nth-child(1)")(rootElement);
     return () => {
       const elem2 = $1();
       const listener = eventListener((x2) => redraw(selectionEventData$p(x2)._2))();
@@ -39128,18 +39256,26 @@ var viewLinkUnit = {
 };
 // output-es/App.View/index.js
-var pack3 = (x2) => (v) => v(viewBarChartUnit)(x2);
-var pack14 = (x2) => (v) => v(viewLineChartUnit)(x2);
-var pack23 = (x2) => (v) => v(viewScatterPlotUnit)(x2);
-var pack32 = (x2) => (v) => v(viewMultiViewUnit)(x2);
-var pack4 = (x2) => (v) => v(viewParagraphUnit)(x2);
-var pack5 = (x2) => (v) => v(viewLinkUnit)(x2);
+var pack3 = (x2) => (v) => v(viewTextUnit)(x2);
+var pack14 = (x2) => (v) => v(viewBarChartUnit)(x2);
+var pack23 = (x2) => (v) => v(viewLineChartUnit)(x2);
+var pack32 = (x2) => (v) => v(viewScatterPlotUnit)(x2);
+var pack4 = (x2) => (v) => v(viewMultiViewUnit)(x2);
+var pack5 = (x2) => (v) => v(viewParagraphUnit)(x2);
+var pack6 = (x2) => (v) => v(viewLinkUnit)(x2);
 var identity29 = (x2) => x2;
-var pack6 = (x2) => (v) => v(viewTableViewUnit)(x2);
-var pack7 = (x2) => (v) => v(viewMatrixViewUnit)(x2);
-var pack8 = (x2) => (v) => v(viewTextUnit)(x2);
+var pack7 = (x2) => (v) => v(viewTableViewUnit)(x2);
+var pack8 = (x2) => (v) => v(viewMatrixViewUnit)(x2);
 var fromFoldable11 = /* @__PURE__ */ (() => fromFoldableImpl(foldableList.foldr))();
 var pack9 = (x2) => (v) => v(viewDocViewUnit)(x2);
+var reflectValSelStates\u{1D54A}Text = {
+  from: () => (v) => {
+    if (v._3.tag === "Str") {
+      return $Tuple(v._3._1, v._1);
+    }
+    return typeError(v._3)("Text");
+  }
+};
 var reflectValSelStates\u{1D54A}Link = {
   from: () => (v) => {
     if (v._3.tag === "Constr" && v._3._2.tag === "Cons" && v._3._2._2.tag === "Cons" && v._3._2._2._1._3.tag === "Str" && v._3._2._2._2.tag === "Nil" && v._3._1 === "Link") {
@@ -39287,14 +39423,17 @@ var view = () => (v) => (v1) => (v2) => {
   if (v1._3.tag === "Constr") {
     if (v1._3._2.tag === "Cons") {
       if (v1._3._2._2.tag === "Nil") {
+        if (v1._3._1 === "Text") {
+          return pack3(reflectValSelStates\u{1D54A}Text.from()(v1._3._2._1));
+        }
         if (v1._3._1 === "BarChart") {
-          return pack3(dict(reflectDictSelStates\u{1D54A}$x215Val9.from())(v1._3._2._1));
+          return pack14(dict(reflectDictSelStates\u{1D54A}$x215Val9.from())(v1._3._2._1));
         }
         if (v1._3._1 === "LineChart") {
-          return pack14(dict(reflectDictSelStates\u{1D54A}$x215Val7.from())(v1._3._2._1));
+          return pack23(dict(reflectDictSelStates\u{1D54A}$x215Val7.from())(v1._3._2._1));
         }
         if (v1._3._1 === "ScatterPlot") {
-          return pack23(dict(reflectDictSelStates\u{1D54A}$x215Val6.from())(v1._3._2._1));
+          return pack32(dict(reflectDictSelStates\u{1D54A}$x215Val6.from())(v1._3._2._1));
         }
         if (v1._3._1 === "MultiView") {
           const vws = _fmapObject(
@@ -39309,16 +39448,16 @@ var view = () => (v) => (v1) => (v2) => {
             ),
             view()(v)
           );
-          return pack32($MultiView(intersectionWith_Object(apply)(vws)(_fmapObject(vws, (v$1) => Nothing))));
+          return pack4($MultiView(intersectionWith_Object(apply)(vws)(_fmapObject(vws, (v$1) => Nothing))));
         }
         if (v1._3._1 === "Paragraph") {
           const vws = arrayMap(view()(v))(reflectValSelStates\u{1D54A}Array.from()(v1._3._2._1));
-          return pack4($Paragraph(false, arrayApply(vws)(arrayMap((v$1) => Nothing)(vws))));
+          return pack5($Paragraph(false, arrayApply(vws)(arrayMap((v$1) => Nothing)(vws))));
         }
         if (v1._3._1 === "Nil" || v1._3._1 === ":") {
           const records = arrayMap(dict(identity29))(reflectValSelStates\u{1D54A}Array.from()(v1));
           const colNames = headers(records);
-          return pack6({
+          return pack7({
             title: v,
             filter: Interactive,
             colNames,
@@ -39328,13 +39467,13 @@ var view = () => (v) => (v1) => (v2) => {
         fail();
       }
       if (v1._3._2._2.tag === "Cons" && v1._3._2._2._2.tag === "Nil" && v1._3._1 === "Link") {
-        return pack5(reflectValSelStates\u{1D54A}Link.from()(v1));
+        return pack6(reflectValSelStates\u{1D54A}Link.from()(v1));
       }
     }
     if (v1._3._1 === "Nil" || v1._3._1 === ":") {
       const records = arrayMap(dict(identity29))(reflectValSelStates\u{1D54A}Array.from()(v1));
       const colNames = headers(records);
-      return pack6({
+      return pack7({
         title: v,
         filter: Interactive,
         colNames,
@@ -39344,7 +39483,7 @@ var view = () => (v) => (v1) => (v2) => {
     fail();
   }
   if (v1._3.tag === "Matrix") {
-    return pack7({ title: v, matrix: matrixRep(v1._3._1) });
+    return pack8({ title: v, matrix: matrixRep(v1._3._1) });
   }
   fail();
 };
@@ -39362,11 +39501,11 @@ var viewPara = () => (v) => {
           if (v1._2.tag === "Cons" && v1._2._1.tag === "Token") {
             return formatPara($List("Cons", $DocCommentElem("Token", v1._1._1 + " " + v1._2._1._1), v1._2._2));
           }
-          return $List("Cons", pack8($Tuple(v1._1._1, Inert)), formatPara(v1._2));
+          return $List("Cons", pack3($Tuple(v1._1._1, Inert)), formatPara(v1._2));
         }
         if (v1._1.tag === "Unquote") {
           if (v1._1._1._3.tag === "Int") {
-            return $List("Cons", pack8($Tuple(showIntImpl(v1._1._1._3._1), v1._1._1._1)), formatPara(v1._2));
+            return $List("Cons", pack3($Tuple(showIntImpl(v1._1._1._3._1), v1._1._1._1)), formatPara(v1._2));
           }
           return $List("Cons", view()("")(v1._1._1)(Nothing), formatPara(v1._2));
         }
@@ -39393,6 +39532,17 @@ var applyStateT = (dictMonad) => {
   };
 };
 var applicativeStateT = (dictMonad) => ({ pure: (a) => (s) => dictMonad.Applicative0().pure($Tuple(a, s)), Apply0: () => applyStateT(dictMonad) });
+var monadEffectState = (dictMonadEffect) => {
+  const Monad0 = dictMonadEffect.Monad0();
+  const monadStateT1 = { Applicative0: () => applicativeStateT(Monad0), Bind1: () => bindStateT(Monad0) };
+  return {
+    liftEffect: (x2) => {
+      const $0 = dictMonadEffect.liftEffect(x2);
+      return (s) => Monad0.Bind1().bind($0)((x$1) => Monad0.Applicative0().pure($Tuple(x$1, s)));
+    },
+    Monad0: () => monadStateT1
+  };
+};
 var monadRecStateT = (dictMonadRec) => {
   const Monad0 = dictMonadRec.Monad0();
   const monadStateT1 = { Applicative0: () => applicativeStateT(Monad0), Bind1: () => bindStateT(Monad0) };
@@ -39429,6 +39579,23 @@ var monadErrorStateT = (dictMonadError) => {
   return { catchError: (v) => (h) => (s) => dictMonadError.catchError(v(s))((e) => h(e)(s)), MonadThrow0: () => monadThrowStateT1 };
 };
+// output-es/Effect.Aff.Class/index.js
+var monadAffAff = { liftAff: (x2) => x2, MonadEffect0: () => monadEffectAff };
+var monadAffState = (dictMonadAff) => {
+  const MonadEffect0 = dictMonadAff.MonadEffect0();
+  const monadEffectState2 = monadEffectState(MonadEffect0);
+  return {
+    liftAff: (() => {
+      const $0 = MonadEffect0.Monad0();
+      return (x2) => {
+        const $1 = dictMonadAff.liftAff(x2);
+        return (s) => $0.Bind1().bind($1)((x$1) => $0.Applicative0().pure($Tuple(x$1, s)));
+      };
+    })(),
+    MonadEffect0: () => monadEffectState2
+  };
+};
 // output-es/Graph.WithGraph/index.js
 var fromFoldable17 = /* @__PURE__ */ (() => {
   const go = (go$a0$copy) => (go$a1$copy) => {
@@ -39823,11 +39990,11 @@ var new$p = (dictMonadWithGraphAlloc) => {
   const Monad0 = MonadWithGraph2.Monad0();
   const Bind1 = Monad0.Bind1();
   const fresh = dictMonadWithGraphAlloc.MonadAlloc0().fresh;
-  return (v) => (v1) => (v2) => (v3) => {
+  return (dictLoadFile) => (v) => (v1) => (v2) => (v3) => {
     if (v2.tag === "None") {
       return $$new((\u03B1s$p) => (u$p) => $Val(\u03B1s$p, None, u$p))(v1)(v3);
     }
-    return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)((() => {
+    return Bind1.bind(fresh)((\u03B1) => Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
       const $0 = {};
       $0.this = $Val(\u03B1, None, v3);
       return $0;
@@ -39839,7 +40006,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => {
   const Applicative0 = Monad0.Applicative0();
   const $0 = Monad0.Bind1().Apply0().Functor0();
   const sequence2 = traversableList.traverse(Applicative0)(identity7);
-  return (v) => (v1) => {
+  return (dictLoadFile) => (v) => (v1) => {
     if (v1.tag === "None") {
       return Applicative0.pure(None);
     }
@@ -39849,7 +40016,7 @@ var evalDocOpt = (dictMonadWithGraphAlloc) => {
           return Applicative0.pure($DocCommentElem("Token", v2._1));
         }
         if (v2.tag === "Unquote") {
-          return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(v)(v2._1)(setSet4.empty));
+          return $0.map(Unquote)($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v2._1)(setSet4.empty));
         }
         fail();
       })(v1._1)));
@@ -39872,7 +40039,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
   const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
   const match1 = match(dictMonadWithGraphAlloc);
   const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
-  return (v) => (v1) => (v2) => {
+  return (dictLoadFile) => (v) => (v1) => (v2) => {
     if (v1.tag === "Var") {
       return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
     }
@@ -39880,23 +40047,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       return withMsg2("Variable lookup")(lookup$p(MonadThrow0)(showString)(mapEnvStringVal)(v1._1)(v));
     }
     if (v1.tag === "Int") {
-      return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
+      return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Int", v1._3));
     }
     if (v1.tag === "Float") {
-      return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
+      return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Float", v1._3));
     }
     if (v1.tag === "Str") {
-      return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
+      return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)(v1._1)()(v2))(v1._2)($BaseVal("Str", v1._3));
     }
     if (v1.tag === "Dictionary") {
       const $1 = v1._2;
       const $2 = v1._1;
       return Bind1.bind($0.map(unzip3)(traverse2(traverse3((() => {
-        const $3 = $$eval(dictMonadWithGraphAlloc)(v);
+        const $3 = $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v);
         return (a) => $3(a)(v2);
       })()))(v1._3)))((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));
-        return new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)($2)()(v2))($1)($BaseVal(
+        return new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)($2)()(v2))($1)($BaseVal(
           "Dictionary",
           fromFoldable110(zipWith2(Tuple)(v4._1)(zipWith2(Tuple)(v4._2)(v3._2)))
         ));
@@ -39928,9 +40095,9 @@ var $$eval = (dictMonadWithGraphAlloc) => {
         };
         return go(0)($3);
       })()))(() => Bind1.bind(traverse2((() => {
-        const $5 = $$eval(dictMonadWithGraphAlloc)(v);
+        const $5 = $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v);
         return (a) => $5(a)(v2);
-      })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
+      })())($3))((vs) => new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)($4)()(v2))($2)($BaseVal("Constr", $1, vs))));
     }
     if (v1.tag === "Matrix") {
       const $1 = v1._2;
@@ -39938,7 +40105,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
       const $3 = v1._4._1;
       const $4 = v1._4._2;
       const $5 = v1._1;
-      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._5)(v2))((v3) => {
+      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._5)(v2))((v3) => {
         const v5 = intPair.unpack(v3._3);
         const $6 = v5._1._1;
         const $7 = v5._2._1;
@@ -39949,7 +40116,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
           $7
         )) + ")"))(() => Bind1.bind(sequence2(arrayBind(range(1)($6))((i) => [
           sequence2(arrayBind(range(1)($7))((j) => [
-            $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(disjointUnion2((() => {
+            $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)(disjointUnion2((() => {
               const $10 = {};
               $10[$3] = $Val($8, None, $BaseVal("Int", i));
               return $10;
@@ -39959,7 +40126,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
               return $10;
             })())))($2)(v2)
           ]))
-        ])))((vss) => new$p(dictMonadWithGraphAlloc)(v)(insert3(ordVertex)($5)()(v2))($1)($BaseVal(
+        ])))((vss) => new$p(dictMonadWithGraphAlloc)(dictLoadFile)(v)(insert3(ordVertex)($5)()(v2))($1)($BaseVal(
           "Matrix",
           $Tuple(vss, $Tuple($Tuple($6, $8), $Tuple($7, $9)))
         ))));
@@ -39985,7 +40152,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
     if (v1.tag === "Project") {
       const $1 = v1._1;
       const $2 = v1._3;
-      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => {
+      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => {
         if (v3._3.tag === "Dictionary") {
           return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + $2 + '" not found')((() => {
             const $3 = _lookup(Nothing, Just, $2, v3._3._1);
@@ -39993,7 +40160,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
               return $Maybe("Just", $3._1._2);
             }
             return Nothing;
-          })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(v)(v$p)($1));
+          })())))((v$p) => concatDocs(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v$p)($1));
         }
         return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v3)).lines) + ", expected dictionary"));
       });
@@ -40001,7 +40168,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
     if (v1.tag === "DProject") {
       const $1 = v1._1;
       const $2 = v1._3;
-      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)($2)(v2))((v$p) => {
+      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)($2)(v2))((v$p) => {
         if (v3._3.tag === "Dictionary") {
           if (v$p._3.tag === "Str") {
             return Bind1.bind(withMsg2("Dict lookup")(orElse(MonadThrow0)('Key "' + v$p._3._1 + '" not found')((() => {
@@ -40010,7 +40177,7 @@ var $$eval = (dictMonadWithGraphAlloc) => {
                 return $Maybe("Just", $3._1._2);
               }
               return Nothing;
-            })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(v)(v$p$p)($1));
+            })())))((v$p$p) => concatDocs(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v$p$p)($1));
           }
           return MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v$p)).lines) + ", expected string"));
         }
@@ -40020,10 +40187,10 @@ var $$eval = (dictMonadWithGraphAlloc) => {
     if (v1.tag === "App") {
       const $1 = v1._1;
       const $2 = v1._3;
-      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)($2)(v2))((v$p) => Bind1.bind(apply2(dictMonadWithGraphAlloc)(v3)(v$p))((v4) => {
+      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._2)(v2))((v3) => Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)($2)(v2))((v$p) => Bind1.bind(apply2(dictMonadWithGraphAlloc)(dictLoadFile)(v3)(v$p))((v4) => {
         const $3 = v4._3;
         const $4 = v4._1;
-        return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)((() => {
+        return Bind1.bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)((() => {
           const $5 = {};
           $5.this = v4;
           return $5;
@@ -40033,23 +40200,23 @@ var $$eval = (dictMonadWithGraphAlloc) => {
     if (v1.tag === "Let") {
       const $1 = v1._2;
       const $2 = v1._1._1;
-      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
+      return Bind1.bind($$eval(dictMonadWithGraphAlloc)(dictLoadFile)(v)(v1._1._2)(v2))((v3) => Bind1.bind(match1(v3)($2))((v4) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
     }
     if (v1.tag === "LetRec") {
       const $1 = v1._2;
       const $2 = v1._1._1;
-      return Bind1.bind(closeDefs1(v)(v1._1._2)(insert3(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(v)(\u03B3$p))($1)(insert3(ordVertex)($2)()(v2)));
+      return Bind1.bind(closeDefs1(v)(v1._1._2)(insert3(ordVertex)($2)()(v2)))((\u03B3$p) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(v)(\u03B3$p))($1)(insert3(ordVertex)($2)()(v2)));
     }
     fail();
   };
 };
 var concatDocs = (dictMonadWithGraphAlloc) => {
   const Monad0 = dictMonadWithGraphAlloc.MonadWithGraph2().Monad0();
-  return (\u03B3) => (v) => (doc2) => {
+  return (dictLoadFile) => (\u03B3) => (v) => (doc2) => {
     const $0 = v._3;
     const $1 = v._2;
     const $2 = v._1;
-    return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(\u03B3)((() => {
+    return Monad0.Bind1().bind(evalDocOpt(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(\u03B3)((() => {
       const $3 = {};
       $3.this = $Val($2, None, $0);
       return $3;
@@ -40063,14 +40230,14 @@ var apply2 = (dictMonadWithGraphAlloc) => {
   const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
   const MonadError1 = dictMonadWithGraphAlloc.MonadError1();
   const MonadThrow0 = MonadError1.MonadThrow0();
-  return (v) => (v1) => {
+  return (dictLoadFile) => (v) => (v1) => {
     const $0 = (v2) => MonadThrow0.throwError(error("Found " + intercalate4("\n")(removeDocWS(prettyVal(highlightableVertex).pretty(v2)).lines) + ", 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("Two", Leaf2, $1, void 0, Leaf2)))((\u03B32) => Bind1.bind(match1(v1)($3))((v3) => $$eval(dictMonadWithGraphAlloc)(unionWith((v$1) => identity18)(unionWith((v$1) => identity18)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert3(ordVertex)($1)()(v3._2._2))));
+        return Bind1.bind(closeDefs1($2)(v._3._1._2)($$$Map("Two", Leaf2, $1, void 0, Leaf2)))((\u03B32) => Bind1.bind(match1(v1)($3))((v3) => $$eval(dictMonadWithGraphAlloc)(dictLoadFile)(unionWith((v$1) => identity18)(unionWith((v$1) => identity18)($2)(\u03B32))(v3._1))(v3._2._1.tag === "ContExpr" ? v3._2._1._1 : throwException(error("Expression expected"))())(insert3(ordVertex)($1)()(v3._2._2))));
       }
       if (v._3._1.tag === "Foreign") {
         const $1 = v._3._1._1._2;
@@ -40101,7 +40268,7 @@ var apply2 = (dictMonadWithGraphAlloc) => {
             $Fun("Foreign", $Tuple(v._3._1._1._1, $1), vs$p)
           ));
         }
-        return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(vs$p);
+        return $1._1.op(dictMonadWithGraphAlloc)(MonadError1)(dictLoadFile)(vs$p);
       }
       if (v._3._1.tag === "PartialConstr") {
         const $1 = v._1;
@@ -40172,25 +40339,28 @@ var eval_module = (dictMonadWithGraphAlloc) => {
   const eval1 = $$eval(dictMonadWithGraphAlloc);
   const match1 = match(dictMonadWithGraphAlloc);
   const closeDefs1 = closeDefs(dictMonadWithGraphAlloc);
-  return (\u03B3) => {
-    const go = (v) => (v1) => (v2) => {
-      if (v1.tag === "Nil") {
-        return Monad0.Applicative0().pure(v);
-      }
-      if (v1.tag === "Cons") {
-        if (v1._1.tag === "Left") {
-          const $1 = v1._2;
-          const $2 = v1._1._1._1;
-          return $0.bind(eval1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
+  return (dictLoadFile) => {
+    const eval2 = eval1(dictLoadFile);
+    return (\u03B3) => {
+      const go = (v) => (v1) => (v2) => {
+        if (v1.tag === "Nil") {
+          return Monad0.Applicative0().pure(v);
         }
-        if (v1._1.tag === "Right") {
-          const $1 = v1._2;
-          return $0.bind(closeDefs1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(insert3(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith((v$1) => identity18)(v)(\u03B3$p$p))($1)(v2));
+        if (v1.tag === "Cons") {
+          if (v1._1.tag === "Left") {
+            const $1 = v1._2;
+            const $2 = v1._1._1._1;
+            return $0.bind(eval2(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(v2))((v3) => $0.bind(match1(v3)($2))((v4) => go(unionWith((v$1) => identity18)(v)(v4._1))($1)(v4._2._2)));
+          }
+          if (v1._1.tag === "Right") {
+            const $1 = v1._2;
+            return $0.bind(closeDefs1(unionWith((v$1) => identity18)(\u03B3)(v))(v1._1._1._2)(insert3(ordVertex)(v1._1._1._1)()(v2)))((\u03B3$p$p) => go(unionWith((v$1) => identity18)(v)(\u03B3$p$p))($1)(v2));
+          }
         }
-      }
-      fail();
+        fail();
+      };
+      return go(empty);
     };
-    return go(empty);
   };
 };
 var eval_progCxt = (dictMonadWithGraphAlloc) => {
@@ -40200,18 +40370,21 @@ var eval_progCxt = (dictMonadWithGraphAlloc) => {
   const $1 = Monad0.Applicative0();
   const eval1 = $$eval(dictMonadWithGraphAlloc);
   const concatM1 = concatM(Monad0);
-  return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
-    const $2 = v1._1;
-    return $0.bind(eval1(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith((v$1) => identity18)(\u03B3)((() => {
-      const $3 = {};
-      $3[$2] = v2;
-      return $3;
-    })())));
-  })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module1(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith((v$1) => identity18)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
+  return (dictLoadFile) => {
+    const eval_module2 = eval_module1(dictLoadFile);
+    const eval2 = eval1(dictLoadFile);
+    return (v) => concatM1(foldableList.foldr(Cons)(listMap((v1) => (\u03B3) => {
+      const $2 = v1._1;
+      return $0.bind(eval2(\u03B3)(v1._2)(setSet4.empty))((v2) => $1.pure(unionWith((v$1) => identity18)(\u03B3)((() => {
+        const $3 = {};
+        $3[$2] = v2;
+        return $3;
+      })())));
+    })(reverse2(v.datasets)))(listMap((mod) => (\u03B3) => $0.bind(eval_module2(\u03B3)(mod)(setSet4.empty))((\u03B3$p) => $1.pure(unionWith((v$1) => identity18)(\u03B3)(\u03B3$p))))(reverse2(v.mods))))(v.primitives);
+  };
 };
-var graphEval = (dictMonadError) => {
-  const MonadThrow0 = dictMonadError.MonadThrow0();
-  const Monad0 = MonadThrow0.Monad0();
+var graphEval = (dictMonadAff) => {
+  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
   const bindStateT2 = bindStateT(Monad0);
   const $0 = monadAllocAllocT(Monad0);
   const fresh1 = $0.fresh;
@@ -40220,29 +40393,47 @@ var graphEval = (dictMonadError) => {
     Applicative0: () => applicativeStateT(Monad0),
     Bind1: () => bindStateT(Monad0)
   })(graphGraphImpl);
-  const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError));
-  const check2 = check(monadThrowStateT(MonadThrow0));
-  return (v) => (e) => {
-    const $1 = v["\u03B3"];
-    const $2 = spyFunWhen(false)("fwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(fwdSlice2);
-    const $3 = spyFunWhen(false)("bwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(bwdSlice2);
-    return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1($1)(e\u03B1)(Leaf2))(verticesEnvExprVertex.vertices($EnvExpr(
-      $1,
-      e\u03B1
-    ))))((v1) => {
-      const $4 = v1._1;
-      const $5 = v1._2;
-      return bindStateT2.bind(check2(difference2(ordDVertex$p)(verticesValVertex.vertices($5))(verticesGraphImpl.vertices($4)).tag === "Leaf")("outputs in graph"))(() => applicativeStateT(Monad0).pure($Tuple(
-        $4,
-        $Tuple($EnvExpr($1, e\u03B1), $5)
-      )));
-    })))(v.n))((v1) => Monad0.Applicative0().pure({
-      g: v1._2._2._1,
-      graph_fwd: (a) => (b) => $2($Tuple(a, b)),
-      graph_bwd: (a) => (b) => $3($Tuple(a, b)),
-      "in\u03B1": v1._2._2._2._1,
-      "out\u03B1": v1._2._2._2._2
-    }));
+  const $1 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
+  const $2 = dictMonadAff.MonadEffect0().Monad0();
+  return (dictLoadFile) => (dictMonadError) => {
+    const eval1 = $$eval(monadWithGraphAllocWithGr(dictMonadError))((() => {
+      const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
+      return {
+        loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
+          const $3 = loadFile1(folders);
+          return (x2) => {
+            const $4 = $3(x2);
+            return (s) => $1.Bind1().bind((s$1) => $2.Bind1().bind($4)((x$1) => $2.Applicative0().pure($Tuple(x$1, s$1))))((x$1) => $1.Applicative0().pure($Tuple(
+              x$1,
+              s
+            )));
+          };
+        }
+      };
+    })());
+    const check2 = check(monadThrowStateT(dictMonadError.MonadThrow0()));
+    return (v) => (e) => {
+      const $3 = v["\u03B3"];
+      const $4 = spyFunWhen(false)("fwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(fwdSlice2);
+      const $5 = spyFunWhen(false)("bwdSlice")((x2) => $Tuple(showVertices(x2._1), showEdgeList(toEdgeList(graphGraphImpl)(x2._2))))(showGraph(graphGraphImpl))(bwdSlice2);
+      return Monad0.Bind1().bind(runAllocT(Monad0)(bindStateT2.bind(alloc(e))((e\u03B1) => bindStateT2.bind(runWithGraphT_spy2(eval1($3)(e\u03B1)(Leaf2))(verticesEnvExprVertex.vertices($EnvExpr(
+        $3,
+        e\u03B1
+      ))))((v1) => {
+        const $6 = v1._1;
+        const $7 = v1._2;
+        return bindStateT2.bind(check2(difference2(ordDVertex$p)(verticesValVertex.vertices($7))(verticesGraphImpl.vertices($6)).tag === "Leaf")("outputs in graph"))(() => applicativeStateT(Monad0).pure($Tuple(
+          $6,
+          $Tuple($EnvExpr($3, e\u03B1), $7)
+        )));
+      })))(v.n))((v1) => Monad0.Applicative0().pure({
+        g: v1._2._2._1,
+        graph_fwd: (a) => (b) => $4($Tuple(a, b)),
+        graph_bwd: (a) => (b) => $5($Tuple(a, b)),
+        "in\u03B1": v1._2._2._2._1,
+        "out\u03B1": v1._2._2._2._2
+      }));
+    };
   };
 };
@@ -43530,7 +43721,7 @@ var matrixUpdate = /* @__PURE__ */ $Tuple(
       const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (v) => {
+        return (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 $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, v._1._1, void 0, Leaf2))($BaseVal(
@@ -43550,7 +43741,7 @@ var matrixLookup = /* @__PURE__ */ $Tuple(
     arity: 2,
     op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
       const MonadThrow0 = dictMonadError.MonadThrow0();
-      return (v) => {
+      return (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 MonadThrow0.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));
         }
@@ -43583,7 +43774,7 @@ var error_ = /* @__PURE__ */ $Tuple(
     arity: 1,
     op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
       const MonadThrow0 = dictMonadError.MonadThrow0();
-      return (v) => {
+      return (dictLoadFile) => (v) => {
         if (v.tag === "Cons" && v._1._3.tag === "Str" && v._2.tag === "Nil") {
           return MonadThrow0.Monad0().Applicative0().pure(throwException(error(v._1._3._1))());
         }
@@ -43602,7 +43793,7 @@ var dims = /* @__PURE__ */ $Tuple(
       return (dictMonadError) => {
         const MonadThrow0 = dictMonadError.MonadThrow0();
         const $0 = MonadThrow0.Monad0().Bind1();
-        return (v) => {
+        return (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;
@@ -43637,19 +43828,22 @@ var dict_map = /* @__PURE__ */ $Tuple(
         const Monad0 = MonadThrow0.Monad0();
         const Bind1 = Monad0.Bind1();
         const traverse1 = traversableDict.traverse(Monad0.Applicative0());
-        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(traverse1((v2) => {
-              const $2 = v2._1;
-              return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply3($0)(v2._2));
-            })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
-              "Dictionary",
-              d$p
-            )));
-          }
-          return MonadThrow0.throwError(error("Function and dictionary expected"));
+        return (dictLoadFile) => {
+          const apply1 = apply3(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(traverse1((v2) => {
+                const $2 = v2._1;
+                return Bind1.Apply0().Functor0().map((v3) => $Tuple($2, v3))(apply1($0)(v2._2));
+              })(v._2._1._3._1))((d$p) => $$new((a) => Val(a)(None))($$$Map("Two", Leaf2, $1, void 0, Leaf2))($BaseVal(
+                "Dictionary",
+                d$p
+              )));
+            }
+            return MonadThrow0.throwError(error("Function and dictionary expected"));
+          };
         };
       };
     }
@@ -43668,31 +43862,34 @@ var dict_intersectionWith = /* @__PURE__ */ $Tuple(
         const Bind1 = Monad0.Bind1();
         const Applicative0 = Monad0.Applicative0();
         const $0 = Bind1.Apply0().Functor0();
-        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(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
-              const $4 = v3._2;
-              const $5 = v2._1;
-              const $6 = v3._1;
-              return Bind1.bind(Bind1.bind(apply3($1)(v2._2))((a) => apply3(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert3(ordVertex)($6)()($$$Map(
+        return (dictLoadFile) => {
+          const apply1 = apply3(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(Dictionary3)($0.map(DictRep)(traversableDict.traverse(Applicative0)(identity19)(intersectionWith_Object((v2) => (v3) => {
+                const $4 = v3._2;
+                const $5 = v2._1;
+                const $6 = v3._1;
+                return Bind1.bind(Bind1.bind(apply1($1)(v2._2))((a) => apply1(a)($4)))((v4) => Bind1.bind($$new((a) => Val(a)(None))(insert3(ordVertex)($6)()($$$Map(
+                  "Two",
+                  Leaf2,
+                  $5,
+                  void 0,
+                  Leaf2
+                )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
+              })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert3(ordVertex)($3)()($$$Map(
                 "Two",
                 Leaf2,
-                $5,
+                $2,
                 void 0,
                 Leaf2
-              )))(v4._3))((v5) => Applicative0.pure($Tuple(v5._1, v4))));
-            })(v._2._1._3._1)(v._2._2._1._3._1)))))((v$p) => $$new((a) => Val(a)(None))(insert3(ordVertex)($3)()($$$Map(
-              "Two",
-              Leaf2,
-              $2,
-              void 0,
-              Leaf2
-            )))(v$p));
-          }
-          return MonadThrow0.throwError(error("Function and two dictionaries expected"));
+              )))(v$p));
+            }
+            return MonadThrow0.throwError(error("Function and two dictionaries expected"));
+          };
         };
       };
     }
@@ -43704,7 +43901,7 @@ var dict_get = /* @__PURE__ */ $Tuple(
     arity: 2,
     op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
       const MonadThrow0 = dictMonadError.MonadThrow0();
-      return (v) => {
+      return (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") {
           return orElse(MonadThrow0)('Key "' + v._1._3._1 + '" not found')((() => {
             const $0 = _lookup(Nothing, Just, v._1._3._1, v._2._1._3._1);
@@ -43728,15 +43925,18 @@ var dict_foldl = /* @__PURE__ */ $Tuple(
       return (dictMonadError) => {
         const MonadThrow0 = dictMonadError.MonadThrow0();
         const Monad0 = MonadThrow0.Monad0();
-        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 $0 = v._1;
-            return foldM4(Monad0)((u1) => (v2) => {
-              const $1 = v2._2;
-              return Monad0.Bind1().bind(apply3($0)(u1))((a) => apply3(a)($1));
-            })(v._2._1)(v._2._2._1._3._1);
-          }
-          return MonadThrow0.throwError(error("Function, value and dictionary expected"));
+        return (dictLoadFile) => {
+          const apply1 = apply3(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 $0 = v._1;
+              return foldM4(Monad0)((u1) => (v2) => {
+                const $1 = v2._2;
+                return Monad0.Bind1().bind(apply1($0)(u1))((a) => apply1(a)($1));
+              })(v._2._1)(v._2._2._1._3._1);
+            }
+            return MonadThrow0.throwError(error("Function, value and dictionary expected"));
+          };
         };
       };
     }
@@ -43750,7 +43950,7 @@ var dict_disjointUnion = /* @__PURE__ */ $Tuple(
       const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (v) => {
+        return (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 $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
               "Two",
@@ -43774,7 +43974,7 @@ var dict_difference = /* @__PURE__ */ $Tuple(
       const $$new = dictMonadWithGraphAlloc.new(typeNameVal);
       return (dictMonadError) => {
         const $$throw2 = $$throw(dictMonadError.MonadThrow0());
-        return (v) => {
+        return (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 $$new((a) => Val(a)(None))(insert3(ordVertex)(v._2._1._1)()($$$Map(
               "Two",
@@ -43796,7 +43996,7 @@ var debugLog = /* @__PURE__ */ $Tuple(
     arity: 1,
     op: (dictMonadWithGraphAlloc) => (dictMonadError) => {
       const MonadThrow0 = dictMonadError.MonadThrow0();
-      return (v) => {
+      return (dictLoadFile) => (v) => {
         if (v.tag === "Cons" && v._2.tag === "Nil") {
           const $0 = v._1;
           return MonadThrow0.Monad0().Applicative0().pure(_trace($0, (v$1) => $0));
@@ -43892,6 +44092,7 @@ var verticesProgCxtVertex = {
 };
 var functorProgCxt = {
   map: (f) => (m) => ({
+    fluidSrcPaths: m.fluidSrcPaths,
     primitives: _fmapObject(m.primitives, functorVal.map(f)),
     mods: listMap(functorModule.map(f))(m.mods),
     datasets: listMap((m$1) => $Tuple(m$1._1, functorExpr.map(f)(m$1._2)))(m.datasets)
@@ -43961,7 +44162,7 @@ var traversableProgCxt = {
     const traverse7 = traversableExpr.traverse(dictApplicative);
     const traverse8 = traversableModule.traverse(dictApplicative);
     const traverse9 = traversableEnv.traverse(dictApplicative);
-    return (f) => (m) => Apply0.apply(Apply0.apply(Apply0.Functor0().map((v1) => (v2) => (v3) => ({ primitives: v3, mods: v2, datasets: v1 }))(traverse5(traversableTuple.traverse(dictApplicative)(traverse7(f)))(m.datasets)))(traverse5(traverse8(f))(m.mods)))(traverse9(f)(m.primitives));
+    return (f) => (m) => Apply0.apply(Apply0.apply(Apply0.Functor0().map((v1) => (v2) => (v3) => ({ fluidSrcPaths: m.fluidSrcPaths, primitives: v3, mods: v2, datasets: v1 }))(traverse5(traversableTuple.traverse(dictApplicative)(traverse7(f)))(m.datasets)))(traverse5(traverse8(f))(m.mods)))(traverse9(f)(m.primitives));
   },
   sequence: (dictApplicative) => (v) => traversableProgCxt.traverse(dictApplicative)(identity32)(v),
   Functor0: () => functorProgCxt,
@@ -43974,7 +44175,6 @@ var concatM2 = (dictMonad) => foldrArray((() => {
   const $0 = dictMonad.Bind1();
   return (f) => (g) => (a) => $0.bind(f(a))(g);
 })())(dictMonad.Applicative0().pure);
-var Folder = (x2) => x2;
 var parse = (dictMonadError) => {
   const $0 = dictMonadError.MonadThrow0();
   const $1 = $0.Monad0().Applicative0().pure;
@@ -43992,7 +44192,7 @@ var parse = (dictMonadError) => {
     };
   };
 };
-var parseProgram = (loadFile2) => (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().bind(loadFile2(folders)(file)(dictMonadAff)(dictMonadError))((() => {
+var parseProgram = (dictLoadFile) => (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().bind(dictLoadFile.loadFile(dictMonadError)(dictMonadAff)(folders)(file))((() => {
   const $0 = parse(dictMonadError);
   return (a) => $0(a)(topLevel(expr_));
 })());
@@ -44003,18 +44203,22 @@ var module_2 = (dictMonadAff) => {
   return (dictMonadError) => {
     const parse1 = parse(dictMonadError);
     const desugarModuleFwd = moduleFwd(dictMonadError)(boundedLattice2);
-    return (loadFile2) => (folders) => (file) => (v) => {
-      const $0 = v.mods;
-      return Bind1.bind(Applicative0.pure())(() => Bind1.bind(loadFile2(folders)(file)(dictMonadAff)(dictMonadError))((src) => Bind1.bind(Bind1.bind(parse1(src)(module_))(desugarModuleFwd))((mod) => Applicative0.pure({
-        primitives: v.primitives,
-        mods: $List("Cons", mod, $0),
-        datasets: v.datasets
-      }))));
+    return (dictLoadFile) => {
+      const loadFile = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
+      return (folders) => (file) => (v) => {
+        const $0 = v.mods;
+        return Bind1.bind(Applicative0.pure())(() => Bind1.bind(loadFile(folders)(file))((src) => Bind1.bind(Bind1.bind(parse1(src)(module_))(desugarModuleFwd))((mod) => Applicative0.pure({
+          fluidSrcPaths: v.fluidSrcPaths,
+          primitives: v.primitives,
+          mods: $List("Cons", mod, $0),
+          datasets: v.datasets
+        }))));
+      };
     };
   };
 };
-var initialConfig = (dictMonadError) => {
-  const Monad0 = dictMonadError.MonadThrow0().Monad0();
+var initialConfig = (dictMonadAff) => {
+  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
   const Bind1 = Monad0.Bind1();
   const Applicative0 = Monad0.Applicative0();
   const $0 = monadAllocAllocT(Monad0);
@@ -44025,29 +44229,54 @@ var initialConfig = (dictMonadError) => {
     Applicative0: () => applicativeStateT(Monad0),
     Bind1: () => bindStateT(Monad0)
   })(graphGraphImpl);
-  const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
-  return (dictFV) => (e) => (progCxt) => Bind1.bind(Applicative0.pure())(() => Bind1.bind(runAllocT(Monad0)($1.bind(alloc(progCxt))((progCxt$p) => $1.bind(runWithGraphT_spy2(eval_progCxt2(progCxt$p))(verticesProgCxtVertex.vertices(progCxt$p)))((v) => applicativeStateT(Monad0).pure($Tuple(
-    progCxt$p,
-    (() => {
-      const $2 = dictFV.fv(e);
-      return filterWithKey((x2) => {
-        const $3 = setSet(ordString).member(x2)($2);
-        return (v$1) => $3;
-      })(v._2);
-    })()
-  )))))(0))((v) => Applicative0.pure({ n: v._1, progCxt: v._2._2._1, "\u03B3": v._2._2._2 })));
+  const $2 = monadAffState(dictMonadAff).MonadEffect0().Monad0();
+  const $3 = dictMonadAff.MonadEffect0().Monad0();
+  return (dictMonadError) => {
+    const eval_progCxt2 = eval_progCxt(monadWithGraphAllocWithGr(dictMonadError));
+    return (dictLoadFile) => {
+      const eval_progCxt1 = eval_progCxt2((() => {
+        const loadFile1 = dictLoadFile.loadFile(dictMonadError)(dictMonadAff);
+        return {
+          loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => {
+            const $4 = loadFile1(folders);
+            return (x2) => {
+              const $5 = $4(x2);
+              return (s) => $2.Bind1().bind((s$1) => $3.Bind1().bind($5)((x$1) => $3.Applicative0().pure($Tuple(x$1, s$1))))((x$1) => $2.Applicative0().pure($Tuple(
+                x$1,
+                s
+              )));
+            };
+          }
+        };
+      })());
+      return (dictFV) => (e) => (progCxt) => Bind1.bind(Applicative0.pure())(() => Bind1.bind(runAllocT(Monad0)($1.bind(alloc(progCxt))((progCxt$p) => $1.bind(runWithGraphT_spy2(eval_progCxt1(progCxt$p))(verticesProgCxtVertex.vertices(progCxt$p)))((v) => applicativeStateT(Monad0).pure($Tuple(
+        progCxt$p,
+        (() => {
+          const $4 = dictFV.fv(e);
+          return filterWithKey((x2) => {
+            const $5 = setSet(ordString).member(x2)($4);
+            return (v$1) => $5;
+          })(v._2);
+        })()
+      )))))(0))((v) => Applicative0.pure({ n: v._1, progCxt: v._2._2._1, "\u03B3": v._2._2._2 })));
+    };
+  };
 };
 var prepConfig = (dictMonadAff) => {
   const Monad0 = dictMonadAff.MonadEffect0().Monad0();
   const $0 = Monad0.Bind1();
+  const initialConfig1 = initialConfig(dictMonadAff);
   return (dictMonadError) => {
     const desug1 = exprFwd(boundedLattice2)(dictMonadError)(joinSemilatticeUnit);
-    const initialConfig1 = initialConfig(dictMonadError)(fVExpr);
-    return (v) => (file) => (progCxt) => $0.bind(parseProgram(v.loadFile)(v.fluidSrcPaths)(file)(dictMonadAff)(dictMonadError))((s) => $0.bind(desug1(s))((e) => $0.bind(initialConfig1(e)(progCxt))((gconfig) => Monad0.Applicative0().pure({
-      s,
-      e,
-      gconfig
-    }))));
+    const initialConfig2 = initialConfig1(dictMonadError);
+    return (dictLoadFile) => {
+      const initialConfig3 = initialConfig2(dictLoadFile)(fVExpr);
+      return (v) => (file) => (progCxt) => $0.bind(parseProgram(dictLoadFile)(v.fluidSrcPaths)(file)(dictMonadAff)(dictMonadError))((s) => $0.bind(desug1(s))((e) => $0.bind(initialConfig3(e)(progCxt))((gconfig) => Monad0.Applicative0().pure({
+        s,
+        e,
+        gconfig
+      }))));
+    };
   };
 };
 var datasetAs = (dictMonadAff) => {
@@ -44055,10 +44284,11 @@ var datasetAs = (dictMonadAff) => {
   const $0 = Monad0.Bind1();
   return (dictMonadError) => {
     const desug1 = exprFwd(boundedLattice2)(dictMonadError)(joinSemilatticeUnit);
-    return (loadFile2) => (folders) => (v) => (v1) => {
+    return (dictLoadFile) => (folders) => (v) => (v1) => {
       const $1 = v1.datasets;
       const $2 = v._1;
-      return $0.bind($0.bind(parseProgram(loadFile2)(folders)(v._2)(dictMonadAff)(dictMonadError))(desug1))((e\u03B1) => Monad0.Applicative0().pure({
+      return $0.bind($0.bind(parseProgram(dictLoadFile)(folders)(v._2)(dictMonadAff)(dictMonadError))(desug1))((e\u03B1) => Monad0.Applicative0().pure({
+        fluidSrcPaths: v1.fluidSrcPaths,
         primitives: v1.primitives,
         mods: v1.mods,
         datasets: $List("Cons", $Tuple($2, e\u03B1), $1)
@@ -44075,84 +44305,19 @@ var loadProgCxt = (dictMonadAff) => {
   return (dictMonadError) => {
     const module_22 = module_1(dictMonadError);
     const datasetAs2 = datasetAs1(dictMonadError);
-    return (v) => (mods) => (datasets) => $0.bind($0.bind(Monad0.Applicative0().pure({
-      primitives,
-      mods: Nil,
-      datasets: Nil
-    }))(concatM1(arrayMap(module_22(v.loadFile)(v.fluidSrcPaths))(["lib/prelude", ...mods]))))(concatM1(arrayMap((() => {
-      const $1 = datasetAs2(v.loadFile)(v.fluidSrcPaths);
-      return (x2) => $1($Tuple(x2._1, x2._2));
-    })())(datasets)));
-  };
-};
-// output-es/Module.Web/index.js
-var findM = (xs) => (f) => (base2) => foldrArray((x2) => (acc) => applyAff.apply(_map(altEither.alt)(acc))(f(x2)))(_pure(base2))(xs);
-var loadFile = (folders) => (v) => (dictMonadAff) => {
-  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
-  const bindExceptT2 = bindExceptT(Monad0);
-  const applicativeExceptT2 = applicativeExceptT(Monad0);
-  const pure22 = Monad0.Applicative0().pure;
-  return (dictMonadError) => Monad0.Bind1().bind(bindExceptT2.bind(dictMonadAff.liftAff(findM(arrayMap((() => {
-    const $0 = v + ".fld";
-    return (a) => a + "/" + $0;
-  })())(folders))((v1) => _bind(request(driver)({
-    method: $Either("Left", HEAD),
-    url: v1,
-    headers: [],
-    content: Nothing,
-    username: Nothing,
-    password: Nothing,
-    withCredentials: false,
-    responseFormat: $ResponseFormat("String", identity),
-    timeout: Nothing
-  }))((resp) => _pure((() => {
-    if (resp.tag === "Right") {
-      if (resp._1.status === 200) {
-        return $Either("Right", $Tuple(resp._1, v1));
-      }
-      return $Either("Left", RequestFailedError);
-    }
-    if (resp.tag === "Left") {
-      return $Either("Left", resp._1);
-    }
-    fail();
-  })())))($Either("Left", RequestFailedError))))((v1) => {
-    const $0 = v1._2;
-    return bindExceptT2.bind(applicativeExceptT2.pure())(() => bindExceptT2.bind(dictMonadAff.liftAff(request(driver)({
-      method: $Either("Left", GET),
-      url: $0,
-      headers: [],
-      content: Nothing,
-      username: Nothing,
-      password: Nothing,
-      withCredentials: false,
-      responseFormat: $ResponseFormat("String", identity),
-      timeout: Nothing
-    })))((contents) => applicativeExceptT2.pure(contents.body)));
-  }))((result) => {
-    if (result.tag === "Left") {
-      return dictMonadError.MonadThrow0().throwError(error(printError(result._1)));
-    }
-    if (result.tag === "Right") {
-      return pure22(result._1);
-    }
-    fail();
-  });
-};
-var loadFile$p = (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().Apply0().Functor0().map((v) => $Tuple(file, v))(loadFile(folders)(file)(dictMonadAff)(dictMonadError));
-var loadProgCxt2 = (dictMonadAff) => {
-  const loadProgCxt1 = loadProgCxt(dictMonadAff);
-  return (dictMonadError) => {
-    const loadProgCxt22 = loadProgCxt1(dictMonadError);
-    return (fluidSrcPaths) => loadProgCxt22({ loadFile, fluidSrcPaths });
-  };
-};
-var prepConfig2 = (dictMonadAff) => {
-  const prepConfig1 = prepConfig(dictMonadAff);
-  return (dictMonadError) => {
-    const prepConfig22 = prepConfig1(dictMonadError);
-    return (fluidSrcPaths) => prepConfig22({ loadFile, fluidSrcPaths });
+    return (dictLoadFile) => {
+      const module_3 = module_22(dictLoadFile);
+      const datasetAs3 = datasetAs2(dictLoadFile);
+      return (v) => (mods) => (datasets) => $0.bind($0.bind(Monad0.Applicative0().pure({
+        fluidSrcPaths: v.fluidSrcPaths,
+        primitives,
+        mods: Nil,
+        datasets: Nil
+      }))(concatM1(arrayMap(module_3(v.fluidSrcPaths))(["lib/prelude", ...mods]))))(concatM1(arrayMap((() => {
+        const $1 = datasetAs3(v.fluidSrcPaths);
+        return (x2) => $1($Tuple(x2._1, x2._2));
+      })())(datasets)));
+    };
   };
 };
@@ -44172,8 +44337,6 @@ var select\u03B1s\u{1D539}Vertex2 = /* @__PURE__ */ select\u03B1s\u{1D539}Vertex
 var bwdSlice3 = /* @__PURE__ */ bwdSlice(graphGraphImpl);
 var intersection3 = /* @__PURE__ */ intersection(ordDVertex$p);
 var member5 = /* @__PURE__ */ (() => setSet(ordVertex).member)();
-var show4 = /* @__PURE__ */ showArrayImpl(showStringImpl);
-var fromFoldable42 = /* @__PURE__ */ (() => fromFoldableImpl(foldableSet.foldr))();
 var runQuery2 = /* @__PURE__ */ runQuery(ordVal2);
 var primaryOrSecondary2 = /* @__PURE__ */ primaryOrSecondary(applyEnv);
 var primaryOrSecondary1 = /* @__PURE__ */ primaryOrSecondary(applyVal);
@@ -44495,116 +44658,127 @@ var lift = (dictApply) => (dictApply1) => {
     return $Tuple(dictApply.apply(selState_f)($1._1), $1._2);
   };
 };
-var lift1 = /* @__PURE__ */ lift(applyVal)(applyEnv);
-var lift2 = /* @__PURE__ */ lift(applyEnv)(applyVal);
-var loadFig = (v) => (dictMonadAff) => {
+var lift1 = /* @__PURE__ */ lift(applyEnv)(applyVal);
+var lift2 = /* @__PURE__ */ lift(applyVal)(applyEnv);
+var loadFig = (dictMonadAff) => {
   const Monad0 = dictMonadAff.MonadEffect0().Monad0();
   const $0 = Monad0.Bind1();
-  const loadProgCxt3 = loadProgCxt2(dictMonadAff);
-  const prepConfig3 = prepConfig2(dictMonadAff);
+  const loadProgCxt2 = loadProgCxt(dictMonadAff);
+  const prepConfig2 = prepConfig(dictMonadAff);
+  const graphEval2 = graphEval(dictMonadAff);
   return (dictMonadError) => {
-    const prepConfig1 = prepConfig3(dictMonadError);
-    const graphEval2 = graphEval(dictMonadError);
-    const $1 = v.file;
-    const $2 = v.fluidSrcPaths;
-    const $3 = v.inputs;
-    return $0.bind(loadProgCxt3(dictMonadError)($2)(v.imports)(v.datasets))((progCxt) => $0.bind(prepConfig1($2)($1)(progCxt))((v1) => {
-      const $4 = v1.s;
-      return $0.bind(graphEval2(v1.gconfig)(v1.e))((v2) => {
-        const $5 = v2.g;
-        const $6 = v2["out\u03B1"];
-        const $7 = v2["in\u03B1"]._1;
-        const opEval = {
-          g: $GraphImpl({ out: v2.g._1.in_, in_: v2.g._1.out, sinks: v2.g._1.sources, sources: v2.g._1.sinks, vertices: v2.g._1.vertices }),
-          graph_fwd: v2.graph_fwd,
-          graph_bwd: v2.graph_bwd,
-          "in\u03B1": v2["out\u03B1"],
-          "out\u03B1": v2["in\u03B1"]
-        };
-        const inputs$p = fromFoldable25($3);
-        const v3 = functorEnvExpr.map((v$1) => {
-        })(v2["in\u03B1"]);
-        const $8 = unrestrictGC(boundedMeetSemilatticeBoo)(v3._1)(inputs$p);
-        const $9 = unprojExpr(boundedMeetSemilatticeBoo)($EnvExpr(v3._1, v3._2));
-        const $10 = filterWithKey((x2) => {
-          const $102 = setSet(ordString).member(x2)(inputs$p);
-          return (v$1) => $102;
-        })($7);
-        const $11 = _fmapObject($7, functorVal.map((v$1) => false));
-        const $12 = functorVal.map((v$1) => false)($6);
-        const graphgc_op = graphGC1(opEval);
-        const graphgc = graphGC22(v2);
-        const inertFwd = verticesGraphImpl.vertices(graphgc.fwd($9.fwd($8.fwd($11)))._2);
-        const inertBwd = setSet5.difference(verticesGraphImpl.vertices($5))(verticesGraphImpl.vertices(graphgc.bwd(functorVal.map((v$1) => true)($6))._2));
-        const $13 = select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($7)(inertBwd);
-        const $14 = select\u{1D539}s($6)(inertFwd);
-        const $15 = _fmapObject($13, functorVal.map(selState));
-        const $16 = functorVal.map(selState)($14);
-        const \u03B3f = lift1($16)((\u03B31) => graphgc_op.bwd(deMorgan((x2) => $9.fwd($8.fwd(x2)))(\u03B31)));
-        const vf = lift2($15)((v6) => {
-          const $17 = graphgc.bwd(v6);
-          return $Tuple($8.bwd($9.bwd($17._1)), $17._2);
-        });
-        return Monad0.Applicative0().pure({
-          spec: v,
-          s: $4,
-          "\u03B3": intersectionWith_Object(apply)(_fmapObject(
-            intersectionWith_Object(apply)(_fmapObject(
-              _fmapObject($13, functorVal.map(selStates)),
-              applyVal.apply
-            ))($11),
-            applyVal.apply
-          ))($11),
-          v: applyVal.apply(applyVal.apply(functorVal.map(selStates)($14))($12))($12),
-          "\u03B9": empty,
-          linkedOutputs: (selType) => (v6) => {
-            const v7 = vf(functorVal.map(getSel(selType))(v6));
-            return $Tuple(v7._1, $Tuple(\u03B3f(v7._1)._1, verticesGraphImpl.vertices(v7._2)));
-          },
-          linkedInputs: (selType) => (\u03B31) => {
-            const v6 = \u03B3f(_fmapObject(\u03B31, functorVal.map(getSel(selType))));
-            return $Tuple(vf(v6._1)._1, $Tuple(v6._1, verticesGraphImpl.vertices(v6._2)));
-          },
-          linkIntermediates: (\u03B9) => {
-            const \u03B1s = select\u03B1s\u{1D539}Vertex2["select\u03B1s"](_fmapObject(
-              \u03B9,
-              functorVal.map((x2) => {
-                const $17 = getSel(Transient)(x2);
-                if ($17.tag === "Inert") {
-                  return false;
-                }
-                if ($17.tag === "Reactive") {
-                  return $17._1;
-                }
-                fail();
-              })
-            ))(\u03B9from\u03B1s(graphGraphImpl)($5)(mapObjectString.keys(\u03B9)));
-            return $Tuple(
-              intersectionWith_Object(apply)(_fmapObject($15, applyVal.apply))(select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($7)(verticesGraphImpl.vertices(bwdSlice3($Tuple(
-                \u03B1s,
-                v2.g
-              ))))),
-              $Tuple(
-                applyVal.apply($16)(select\u{1D539}s($6)(verticesGraphImpl.vertices(bwdSlice3($Tuple(\u03B1s, opEval.g))))),
-                map2(ordDVertex$p)((\u03B1) => $Tuple(
-                  \u03B1,
-                  definitely("in graph")(_lookup(Nothing, Just, \u03B1, $5._1.out))._2
-                ))(\u03B1s)
-              )
-            );
-          },
-          dir: { persistent: LinkedOutputs, transient: LinkedOutputs },
-          in_views: _fmapObject($10, (v$1) => Nothing),
-          out_view: Nothing,
-          intermediate_views: empty,
-          in_roots: fold((z) => (v$1) => (a) => insert3(ordVertex)(a)()(z))(Leaf2)(_fmapObject(
-            $10,
-            (v6) => v6._1
-          )),
-          inerts: intersection3(inertFwd)(inertBwd)
-        });
-      });
-    }));
+    const loadProgCxt1 = loadProgCxt2(dictMonadError);
+    const prepConfig1 = prepConfig2(dictMonadError);
+    return (dictLoadFile) => {
+      const loadProgCxt22 = loadProgCxt1(dictLoadFile);
+      const prepConfig22 = prepConfig1(dictLoadFile);
+      const graphEval1 = graphEval2(dictLoadFile)(dictMonadError);
+      return (v) => {
+        const $1 = v.file;
+        const $2 = v.fluidSrcPaths;
+        const $3 = v.inputs;
+        const $4 = v.linking;
+        return $0.bind(loadProgCxt22({ fluidSrcPaths: $2 })(v.imports)(v.datasets))((progCxt) => $0.bind(prepConfig22({ fluidSrcPaths: $2 })($1)(progCxt))((v1) => {
+          const $5 = v1.s;
+          return $0.bind(graphEval1(v1.gconfig)(v1.e))((v2) => {
+            const $6 = v2.g;
+            const $7 = v2["out\u03B1"];
+            const $8 = v2["in\u03B1"]._1;
+            const opEval = {
+              g: $GraphImpl({ out: v2.g._1.in_, in_: v2.g._1.out, sinks: v2.g._1.sources, sources: v2.g._1.sinks, vertices: v2.g._1.vertices }),
+              graph_fwd: v2.graph_fwd,
+              graph_bwd: v2.graph_bwd,
+              "in\u03B1": v2["out\u03B1"],
+              "out\u03B1": v2["in\u03B1"]
+            };
+            const inputs$p = fromFoldable25($3);
+            const v3 = functorEnvExpr.map((v$1) => {
+            })(v2["in\u03B1"]);
+            const $9 = unrestrictGC(boundedMeetSemilatticeBoo)(v3._1)(inputs$p);
+            const $10 = unprojExpr(boundedMeetSemilatticeBoo)($EnvExpr(v3._1, v3._2));
+            const $11 = filterWithKey((x2) => {
+              const $112 = setSet(ordString).member(x2)(inputs$p);
+              return (v$1) => $112;
+            })($8);
+            const $12 = _fmapObject($8, functorVal.map((v$1) => false));
+            const $13 = functorVal.map((v$1) => false)($7);
+            const graphgc_op = graphGC1(opEval);
+            const graphgc = graphGC22(v2);
+            const inertFwd = verticesGraphImpl.vertices(graphgc.fwd($10.fwd($9.fwd($12)))._2);
+            const inertBwd = setSet5.difference(verticesGraphImpl.vertices($6))(verticesGraphImpl.vertices(graphgc.bwd(functorVal.map((v$1) => true)($7))._2));
+            const $14 = select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($8)(inertBwd);
+            const $15 = select\u{1D539}s($7)(inertFwd);
+            const $16 = _fmapObject($14, functorVal.map(selState));
+            const $17 = functorVal.map(selState)($15);
+            const demands = lift1($16)((v6) => {
+              const $18 = graphgc.bwd(v6);
+              return $Tuple($9.bwd($10.bwd($18._1)), $18._2);
+            });
+            const demandedBy = lift2($17)((\u03B31) => graphgc_op.bwd(deMorgan((x2) => $10.fwd($9.fwd(x2)))(\u03B31)));
+            return Monad0.Applicative0().pure({
+              spec: v,
+              s: $5,
+              "\u03B3": intersectionWith_Object(apply)(_fmapObject(
+                intersectionWith_Object(apply)(_fmapObject(
+                  _fmapObject($14, functorVal.map(selStates)),
+                  applyVal.apply
+                ))($12),
+                applyVal.apply
+              ))($12),
+              v: applyVal.apply(applyVal.apply(functorVal.map(selStates)($15))($13))($13),
+              "\u03B9": empty,
+              linkedOutputs: (selType) => (v6) => {
+                const v$p = functorVal.map(getSel(selType))(v6);
+                const v7 = demands(v$p);
+                return $Tuple(v7._1, $Tuple($4 ? demandedBy(v7._1)._1 : v$p, verticesGraphImpl.vertices(v7._2)));
+              },
+              linkedInputs: (selType) => (\u03B31) => {
+                const \u03B3$p = _fmapObject(\u03B31, functorVal.map(getSel(selType)));
+                const v6 = demandedBy(\u03B3$p);
+                return $Tuple($4 ? demands(v6._1)._1 : \u03B3$p, $Tuple(v6._1, verticesGraphImpl.vertices(v6._2)));
+              },
+              linkIntermediates: (\u03B9) => {
+                const \u03B1s = select\u03B1s\u{1D539}Vertex2["select\u03B1s"](_fmapObject(
+                  \u03B9,
+                  functorVal.map((x2) => {
+                    const $18 = getSel(Transient)(x2);
+                    if ($18.tag === "Inert") {
+                      return false;
+                    }
+                    if ($18.tag === "Reactive") {
+                      return $18._1;
+                    }
+                    fail();
+                  })
+                ))(\u03B9from\u03B1s(graphGraphImpl)($6)(mapObjectString.keys(\u03B9)));
+                return $Tuple(
+                  intersectionWith_Object(apply)(_fmapObject($16, applyVal.apply))(select\u03B1s\u{1D539}Vertex2["select\u{1D539}s"]($8)(verticesGraphImpl.vertices(bwdSlice3($Tuple(
+                    \u03B1s,
+                    v2.g
+                  ))))),
+                  $Tuple(
+                    applyVal.apply($17)(select\u{1D539}s($7)(verticesGraphImpl.vertices(bwdSlice3($Tuple(\u03B1s, opEval.g))))),
+                    map2(ordDVertex$p)((\u03B1) => $Tuple(
+                      \u03B1,
+                      definitely("in graph")(_lookup(Nothing, Just, \u03B1, $6._1.out))._2
+                    ))(\u03B1s)
+                  )
+                );
+              },
+              dir: { persistent: LinkedOutputs, transient: LinkedOutputs },
+              in_views: _fmapObject($11, (v$1) => Nothing),
+              out_view: Nothing,
+              intermediate_views: empty,
+              in_roots: fold((z) => (v$1) => (a) => insert3(ordVertex)(a)()(z))(Leaf2)(_fmapObject(
+                $11,
+                (v6) => v6._1
+              )),
+              inerts: intersection3(inertFwd)(inertBwd)
+            });
+          });
+        }));
+      };
+    };
   };
 };
 var intermediates = (v) => (\u03B1s) => {
@@ -44615,7 +44789,7 @@ var intermediates = (v) => (\u03B1s) => {
     return rebuild\u03B9(v.inerts)(\u03B1s)(filterWithKey((x2) => {
       const $0 = !member5(x2)(v.in_roots);
       return (v$1) => $0;
-    })(spyWhen(true)("Query keys: ")((x2) => show4(fromFoldable42(mapObjectString.keys(x2))))(runQuery2(v.spec.query._1)(setSet5.union(\u03B1s.persistent)(\u03B1s.transient)))));
+    })(runQuery2(v.spec.query._1)(setSet5.union(\u03B1s.persistent)(\u03B1s.transient))));
   }
   fail();
 };
@@ -44711,7 +44885,7 @@ var drawIntermediates = (divId) => (v) => (unused) => (redraw) => {
       (\u03B1) => (v1) => drawView({
         divId: prefix,
         suffix: \u03B1,
-        view: view$p()(\u03B1)(functorVal.map(functorSelStates.map(to\u{1D54A}))(v1))(Nothing)
+        view: view$p()("intermediate")(functorVal.map(functorSelStates.map(to\u{1D54A}))(v1))(Nothing)
       })(selectIntermediate(\u03B1))(setIntermediateView(\u03B1))(redraw)
     ))();
   };
@@ -44930,8 +45104,65 @@ var gDecodeJsonCons = (dictDecodeJsonField) => (dictGDecodeJson) => (dictIsSymbo
   }
 });
-// output-es/Effect.Aff.Class/index.js
-var monadAffAff = { liftAff: (x2) => x2, MonadEffect0: () => monadEffectAff };
+// output-es/File/index.js
+var Folder = (x2) => x2;
+// output-es/Module.Web/index.js
+var findM = (xs) => (f) => (base2) => foldrArray((x2) => (acc) => applyAff.apply(_map(altEither.alt)(acc))(f(x2)))(_pure(base2))(xs);
+var loadFileWebT = (dictMonadAff) => {
+  const Monad0 = dictMonadAff.MonadEffect0().Monad0();
+  const bindExceptT2 = bindExceptT(Monad0);
+  const applicativeExceptT2 = applicativeExceptT(Monad0);
+  const pure22 = Monad0.Applicative0().pure;
+  return (dictMonadError) => ({
+    loadFile: (dictMonadError1) => (dictMonadAff1) => (folders) => (v) => Monad0.Bind1().bind(bindExceptT2.bind(dictMonadAff1.liftAff(findM(arrayMap((() => {
+      const $0 = v + ".fld";
+      return (a) => a + "/" + $0;
+    })())(folders))((v1) => _bind(request(driver)({
+      method: $Either("Left", HEAD),
+      url: v1,
+      headers: [],
+      content: Nothing,
+      username: Nothing,
+      password: Nothing,
+      withCredentials: false,
+      responseFormat: $ResponseFormat("String", identity),
+      timeout: Nothing
+    }))((resp) => _pure((() => {
+      if (resp.tag === "Right") {
+        if (resp._1.status === 200) {
+          return $Either("Right", $Tuple(resp._1, v1));
+        }
+        return $Either("Left", RequestFailedError);
+      }
+      if (resp.tag === "Left") {
+        return $Either("Left", resp._1);
+      }
+      fail();
+    })())))($Either("Left", RequestFailedError))))((v1) => {
+      const $0 = v1._2;
+      return bindExceptT2.bind(applicativeExceptT2.pure())(() => bindExceptT2.bind(dictMonadAff1.liftAff(request(driver)({
+        method: $Either("Left", GET),
+        url: $0,
+        headers: [],
+        content: Nothing,
+        username: Nothing,
+        password: Nothing,
+        withCredentials: false,
+        responseFormat: $ResponseFormat("String", identity),
+        timeout: Nothing
+      })))((contents) => applicativeExceptT2.pure(contents.body)));
+    }))((result) => {
+      if (result.tag === "Left") {
+        return dictMonadError.MonadThrow0().throwError(error(printError(result._1)));
+      }
+      if (result.tag === "Right") {
+        return pure22(result._1);
+      }
+      fail();
+    })
+  });
+};
 // output-es/App.LoadFigure/index.js
 var gDecodeJsonCons2 = /* @__PURE__ */ gDecodeJsonCons(/* @__PURE__ */ (() => {
@@ -44948,6 +45179,25 @@ var gDecodeJsonCons2 = /* @__PURE__ */ gDecodeJsonCons(/* @__PURE__ */ (() => {
     }
   };
 })());
+var gDecodeJsonCons1 = /* @__PURE__ */ gDecodeJsonCons({
+  decodeJsonField: (j) => {
+    if (j.tag === "Just") {
+      return $Maybe(
+        "Just",
+        _caseJson(
+          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
+          Right,
+          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
+          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
+          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
+          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
+          j._1
+        )
+      );
+    }
+    return Nothing;
+  }
+});
 var decodeJson = /* @__PURE__ */ (() => decodeRecord(gDecodeJsonCons((() => {
   const $0 = decodeArray(decodeTuple(caseJsonString($Either(
     "Left",
@@ -44979,34 +45229,21 @@ var decodeJson = /* @__PURE__ */ (() => decodeRecord(gDecodeJsonCons((() => {
     }
     return Nothing;
   }
-})(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons({
-  decodeJsonField: (j) => {
-    if (j.tag === "Just") {
-      return $Maybe(
-        "Just",
-        _caseJson(
-          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
-          Right,
-          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
-          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
-          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
-          (v) => $Either("Left", $JsonDecodeError("TypeMismatch", "Boolean")),
-          j._1
-        )
-      );
-    }
-    return Nothing;
-  }
-})(gDecodeJsonNil)({ reflectSymbol: () => "query" })()())({ reflectSymbol: () => "inputs" })()())({ reflectSymbol: () => "imports" })()())({
-  reflectSymbol: () => "fluidSrcPath"
-})()())({ reflectSymbol: () => "file" })()())({ reflectSymbol: () => "datasets" })()())().decodeJson)();
-var figSpecFromJson = (spec) => ({
-  fluidSrcPaths: arrayMap(Folder)(spec.fluidSrcPath),
-  datasets: spec.datasets,
-  imports: spec.imports,
-  file: spec.file,
-  inputs: spec.inputs,
-  query: spec.query ? $Maybe(
+})(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons2(gDecodeJsonCons1(gDecodeJsonCons1(gDecodeJsonNil)({ reflectSymbol: () => "query" })()())({
+  reflectSymbol: () => "linking"
+})()())({ reflectSymbol: () => "inputs" })()())({ reflectSymbol: () => "imports" })()())({ reflectSymbol: () => "fluidSrcPath" })()())({ reflectSymbol: () => "file" })()())({
+  reflectSymbol: () => "datasets"
+})()())().decodeJson)();
+var loadFileWebT2 = /* @__PURE__ */ loadFileWebT(monadAffAff)(monadErrorAff);
+var loadFig2 = /* @__PURE__ */ loadFig(monadAffAff)(monadErrorAff)(loadFileWebT2);
+var loadFile$p = (folders) => (file) => (dictMonadAff) => (dictMonadError) => dictMonadAff.MonadEffect0().Monad0().Bind1().Apply0().Functor0().map((v) => $Tuple(file, v))(loadFileWebT2.loadFile(dictMonadError)(dictMonadAff)(folders)(file));
+var figSpecFromJson = (v) => ({
+  fluidSrcPaths: arrayMap(Folder)(v.fluidSrcPath),
+  datasets: v.datasets,
+  imports: v.imports,
+  file: v.file,
+  inputs: v.inputs,
+  query: v.query ? $Maybe(
     "Just",
     (a) => {
       const $0 = asVal(a);
@@ -45021,7 +45258,8 @@ var figSpecFromJson = (spec) => ({
       }
       fail();
     }
-  ) : Nothing
+  ) : Nothing,
+  linking: v.linking
 });
 var loadFigure = (fileName) => runAffs_((v) => drawFig(v._1)(v._2))([
   _bind($$get(driver)($ResponseFormat("Json", identity))(fileName))((result) => {
@@ -45034,7 +45272,7 @@ var loadFigure = (fileName) => runAffs_((v) => drawFig(v._1)(v._2))([
         return throwException(error("JSON decoding failed with " + showJsonDecodeError.show(v._1)))();
       }
       if (v.tag === "Right") {
-        return _map((v1) => $Tuple("fig", v1))(loadFig(figSpecFromJson(v._1))(monadAffAff)(monadErrorAff));
+        return _map((v1) => $Tuple("fig", v1))(loadFig2(figSpecFromJson(v._1)));
       }
     }
     fail();
@@ -45046,5 +45284,9 @@ export {
   drawCode2 as drawCode,
   figSpecFromJson,
   gDecodeJsonCons2 as gDecodeJsonCons,
-  loadFigure
+  gDecodeJsonCons1,
+  loadFig2 as loadFig,
+  loadFigure,
+  loadFile$p,
+  loadFileWebT2 as loadFileWebT
 };