From 0eba22572315f2d882983ccf9f5decb376b94b52 Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@posteo.de>
Date: Mon, 13 Nov 2023 15:21:54 +0800
Subject: [PATCH] Update modgraph

---
 docs/modules_small.svg | 1140 ++++++++++++++++-----------------------
 docs/modules_wide.svg  | 1142 ++++++++++++++++------------------------
 2 files changed, 889 insertions(+), 1393 deletions(-)

diff --git a/docs/modules_small.svg b/docs/modules_small.svg
index 273206e..e2c5efc 100644
--- a/docs/modules_small.svg
+++ b/docs/modules_small.svg
@@ -1,788 +1,536 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 2.48.0 (0)
+<!-- Generated by graphviz version 5.0.0 (0)
  -->
 <!-- Title: G Pages: 1 -->
 <svg width="720pt" height="648pt"
- viewBox="0.00 0.00 719.63 648.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(0.41 0.41) rotate(0) translate(4 1562.8)">
+ viewBox="0.00 0.00 719.74 648.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(0.580229 0.580229) rotate(0) translate(4 1112.8)">
 <title>G</title>
-<polygon fill="white" stroke="transparent" points="-4,4 -4,-1562.8 1736,-1562.8 1736,4 -4,4"/>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-1112.8 1236.45,-1112.8 1236.45,4 -4,4"/>
 <g id="clust1" class="cluster">
 <title>cluster_0</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="8,-13.67 8,-1483.59 1724,-1483.59 1724,-13.67 8,-13.67"/>
-<text text-anchor="middle" x="866" y="-1468.39" font-family="Times,serif" font-size="14.00">GHCup</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="8,-14.04 8,-1094.76 1156,-1094.76 1156,-14.04 8,-14.04"/>
+<text text-anchor="middle" x="582" y="-1079.56" font-family="Times,serif" font-size="14.00">GHCup</text>
 </g>
 <g id="clust2" class="cluster">
 <title>cluster_1</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="1032,-487.12 1032,-810.17 1300,-810.17 1300,-487.12 1032,-487.12"/>
-<text text-anchor="middle" x="1166" y="-794.97" font-family="Times,serif" font-size="14.00">Download</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="661,-700.02 661,-963.18 929,-963.18 929,-700.02 661,-700.02"/>
+<text text-anchor="middle" x="795" y="-947.98" font-family="Times,serif" font-size="14.00">Download</text>
 </g>
 <g id="clust3" class="cluster">
 <title>cluster_2</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="176,-1056.29 176,-1430.61 1716,-1430.61 1716,-1056.29 176,-1056.29"/>
-<text text-anchor="middle" x="946" y="-1415.41" font-family="Times,serif" font-size="14.00">OptParse</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="545,-28.07 545,-685.98 1020,-685.98 1020,-28.07 545,-28.07"/>
+<text text-anchor="middle" x="782.5" y="-670.78" font-family="Times,serif" font-size="14.00">Prelude</text>
 </g>
 <g id="clust4" class="cluster">
 <title>cluster_3</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="439,-27.35 439,-668.3 972,-668.3 972,-27.35 439,-27.35"/>
-<text text-anchor="middle" x="705.5" y="-653.1" font-family="Times,serif" font-size="14.00">Prelude</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="558,-154.39 558,-285.97 735,-285.97 735,-154.39 558,-154.39"/>
+<text text-anchor="middle" x="646.5" y="-270.77" font-family="Times,serif" font-size="14.00">File</text>
 </g>
 <g id="clust5" class="cluster">
 <title>cluster_4</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="479,-150.41 479,-278.6 656,-278.6 656,-150.41 479,-150.41"/>
-<text text-anchor="middle" x="567.5" y="-263.4" font-family="Times,serif" font-size="14.00">File</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="553,-300.01 553,-431.59 771,-431.59 771,-300.01 553,-300.01"/>
+<text text-anchor="middle" x="662" y="-416.39" font-family="Times,serif" font-size="14.00">Logger</text>
 </g>
 <g id="clust6" class="cluster">
 <title>cluster_5</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="583,-292.27 583,-420.47 801,-420.47 801,-292.27 583,-292.27"/>
-<text text-anchor="middle" x="692" y="-405.27" font-family="Times,serif" font-size="14.00">Logger</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="779,-300.01 779,-431.59 1012,-431.59 1012,-300.01 779,-300.01"/>
+<text text-anchor="middle" x="895.5" y="-416.39" font-family="Times,serif" font-size="14.00">Process</text>
 </g>
 <g id="clust7" class="cluster">
 <title>cluster_6</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="447,-487.12 447,-615.32 517,-615.32 517,-487.12 447,-487.12"/>
-<text text-anchor="middle" x="482" y="-600.12" font-family="Times,serif" font-size="14.00">String</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="699,-500.01 699,-631.59 769,-631.59 769,-500.01 699,-500.01"/>
+<text text-anchor="middle" x="734" y="-616.39" font-family="Times,serif" font-size="14.00">String</text>
 </g>
 <g id="clust8" class="cluster">
 <title>cluster_7</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="525,-487.12 525,-615.32 595,-615.32 595,-487.12 525,-487.12"/>
-<text text-anchor="middle" x="560" y="-600.12" font-family="Times,serif" font-size="14.00">Version</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="942,-500.01 942,-631.59 1012,-631.59 1012,-500.01 942,-500.01"/>
+<text text-anchor="middle" x="977" y="-616.39" font-family="Times,serif" font-size="14.00">Version</text>
 </g>
 <g id="clust9" class="cluster">
 <title>cluster_8</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="992,-136.74 992,-473.45 1186,-473.45 1186,-136.74 992,-136.74"/>
-<text text-anchor="middle" x="1089" y="-458.25" font-family="Times,serif" font-size="14.00">Types</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="16,-140.35 16,-485.98 413,-485.98 413,-140.35 16,-140.35"/>
+<text text-anchor="middle" x="214.5" y="-470.78" font-family="Times,serif" font-size="14.00">Types</text>
 </g>
 <g id="clust10" class="cluster">
 <title>cluster_9</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="1090,-150.41 1090,-420.47 1178,-420.47 1178,-150.41 1090,-150.41"/>
-<text text-anchor="middle" x="1134" y="-405.27" font-family="Times,serif" font-size="14.00">JSON</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="24,-154.39 24,-431.59 230,-431.59 230,-154.39 24,-154.39"/>
+<text text-anchor="middle" x="127" y="-416.39" font-family="Times,serif" font-size="14.00">JSON</text>
 </g>
 <g id="clust11" class="cluster">
 <title>cluster_10</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="443,-681.97 443,-810.17 605,-810.17 605,-681.97 443,-681.97"/>
-<text text-anchor="middle" x="524" y="-794.97" font-family="Times,serif" font-size="14.00">Utils</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="418,-700.02 418,-831.6 580,-831.6 580,-700.02 418,-700.02"/>
+<text text-anchor="middle" x="499" y="-816.4" font-family="Times,serif" font-size="14.00">Utils</text>
 </g>
 <!-- u2 -->
 <g id="node1" class="node">
 <title>u2</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="1097" cy="-726.67" rx="56.59" ry="18"/>
-<text text-anchor="middle" x="1097" y="-722.97" font-family="Times,serif" font-size="14.00">Download</text>
-</g>
-<!-- u13 -->
-<g id="node27" class="node">
-<title>u13</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="652" cy="-531.67" rx="46.59" ry="18"/>
-<text text-anchor="middle" x="652" y="-527.97" font-family="Times,serif" font-size="14.00">Prelude</text>
-</g>
-<!-- u2&#45;&gt;u13 -->
-<g id="edge20" class="edge">
-<title>u2&#45;&gt;u13</title>
-<path fill="none" stroke="black" d="M1064.99,-711.68C1055.73,-707.87 1045.54,-703.91 1036,-700.67 892.95,-652.16 831.85,-698.15 708,-611.67 688.81,-598.27 673.93,-576.08 664.35,-558.63"/>
-<polygon fill="black" stroke="black" points="667.31,-556.74 659.58,-549.5 661.11,-559.99 667.31,-556.74"/>
-</g>
-<!-- u17 -->
-<g id="node30" class="node">
-<title>u17</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="764" cy="-531.67" rx="46.59" ry="18"/>
-<text text-anchor="middle" x="764" y="-527.97" font-family="Times,serif" font-size="14.00">Process</text>
-</g>
-<!-- u2&#45;&gt;u17 -->
-<g id="edge21" class="edge">
-<title>u2&#45;&gt;u17</title>
-<path fill="none" stroke="black" d="M1063.77,-712.05C990.02,-681.83 819.16,-611.8 819,-611.67 801.07,-597.3 786.53,-575.56 776.91,-558.53"/>
-<polygon fill="black" stroke="black" points="779.93,-556.75 772.09,-549.63 773.78,-560.09 779.93,-556.75"/>
-</g>
-<!-- u18 -->
-<g id="node40" class="node">
-<title>u18</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="352" cy="-531.67" rx="45.49" ry="18"/>
-<text text-anchor="middle" x="352" y="-527.97" font-family="Times,serif" font-size="14.00">Version</text>
-</g>
-<!-- u2&#45;&gt;u18 -->
-<g id="edge19" class="edge">
-<title>u2&#45;&gt;u18</title>
-<path fill="none" stroke="black" d="M1066.47,-711.48C1056.88,-707.49 1046.15,-703.47 1036,-700.67 779.07,-629.85 685.03,-723.24 443,-611.67 415.32,-598.91 389.67,-575.09 372.71,-556.93"/>
-<polygon fill="black" stroke="black" points="374.86,-554.1 365.55,-549.04 369.68,-558.8 374.86,-554.1"/>
-</g>
-<!-- u26 -->
-<g id="node2" class="node">
-<title>u26</title>
-<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="1153" cy="-531.67" rx="33.29" ry="18"/>
-<text text-anchor="middle" x="1153" y="-527.97" font-family="Times,serif" font-size="14.00">Utils</text>
-</g>
-<!-- u26&#45;&gt;u13 -->
-<g id="edge22" class="edge">
-<title>u26&#45;&gt;u13</title>
-<path fill="none" stroke="black" d="M1141.42,-548.74C1120.79,-577.43 1074.57,-634.34 1019,-656.17 956.54,-680.71 774.39,-690.95 717,-656.17 682.49,-635.26 665.44,-589.36 657.69,-559.52"/>
-<polygon fill="black" stroke="black" points="661.07,-558.6 655.32,-549.7 654.26,-560.24 661.07,-558.6"/>
-</g>
-<!-- u28 -->
-<g id="node3" class="node">
-<title>u28</title>
-<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="1232" cy="-726.67" rx="60.39" ry="18"/>
-<text text-anchor="middle" x="1232" y="-722.97" font-family="Times,serif" font-size="14.00">IOStreams</text>
-</g>
-<!-- u28&#45;&gt;u26 -->
-<g id="edge23" class="edge">
-<title>u28&#45;&gt;u26</title>
-<path fill="none" stroke="black" d="M1224.99,-708.55C1211.13,-674.7 1180.17,-599.04 1163.73,-558.89"/>
-<polygon fill="black" stroke="black" points="1166.91,-557.42 1159.88,-549.49 1160.43,-560.07 1166.91,-557.42"/>
-</g>
-<!-- u30 -->
-<g id="node4" class="node">
-<title>u30</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="938" cy="-1346.67" rx="53.89" ry="18"/>
-<text text-anchor="middle" x="938" y="-1342.97" font-family="Times,serif" font-size="14.00">OptParse</text>
-</g>
-<!-- u32 -->
-<g id="node6" class="node">
-<title>u32</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="781" cy="-1223.67" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="781" y="-1219.97" font-family="Times,serif" font-size="14.00">Install</text>
-</g>
-<!-- u30&#45;&gt;u32 -->
-<g id="edge24" class="edge">
-<title>u30&#45;&gt;u32</title>
-<path fill="none" stroke="black" d="M917.47,-1329.86C889.67,-1308.42 839.93,-1270.09 808.8,-1246.1"/>
-<polygon fill="black" stroke="black" points="810.6,-1243.07 800.54,-1239.73 806.33,-1248.61 810.6,-1243.07"/>
-</g>
-<!-- u33 -->
-<g id="node7" class="node">
-<title>u33</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="866" cy="-1223.67" rx="27" ry="18"/>
-<text text-anchor="middle" x="866" y="-1219.97" font-family="Times,serif" font-size="14.00">Set</text>
-</g>
-<!-- u30&#45;&gt;u33 -->
-<g id="edge25" class="edge">
-<title>u30&#45;&gt;u33</title>
-<path fill="none" stroke="black" d="M927.99,-1328.85C915.71,-1308.21 894.79,-1273.06 880.69,-1249.36"/>
-<polygon fill="black" stroke="black" points="883.59,-1247.39 875.47,-1240.59 877.57,-1250.97 883.59,-1247.39"/>
-</g>
-<!-- u34 -->
-<g id="node8" class="node">
-<title>u34</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="682" cy="-1223.67" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="682" y="-1219.97" font-family="Times,serif" font-size="14.00">UnSet</text>
-</g>
-<!-- u30&#45;&gt;u34 -->
-<g id="edge26" class="edge">
-<title>u30&#45;&gt;u34</title>
-<path fill="none" stroke="black" d="M908.13,-1331.56C860.8,-1309.18 768.72,-1265.66 717.88,-1241.63"/>
-<polygon fill="black" stroke="black" points="719.12,-1238.35 708.59,-1237.24 716.13,-1244.68 719.12,-1238.35"/>
-</g>
-<!-- u35 -->
-<g id="node9" class="node">
-<title>u35</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="938" cy="-1223.67" rx="27" ry="18"/>
-<text text-anchor="middle" x="938" y="-1219.97" font-family="Times,serif" font-size="14.00">Rm</text>
-</g>
-<!-- u30&#45;&gt;u35 -->
-<g id="edge27" class="edge">
-<title>u30&#45;&gt;u35</title>
-<path fill="none" stroke="black" d="M938,-1328.59C938,-1308.71 938,-1275.6 938,-1252.1"/>
-<polygon fill="black" stroke="black" points="941.5,-1252.06 938,-1242.06 934.5,-1252.06 941.5,-1252.06"/>
-</g>
-<!-- u36 -->
-<g id="node10" class="node">
-<title>u36</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1012" cy="-1223.67" rx="29.5" ry="18"/>
-<text text-anchor="middle" x="1012" y="-1219.97" font-family="Times,serif" font-size="14.00">Run</text>
-</g>
-<!-- u30&#45;&gt;u36 -->
-<g id="edge28" class="edge">
-<title>u30&#45;&gt;u36</title>
-<path fill="none" stroke="black" d="M948.29,-1328.85C960.84,-1308.33 982.17,-1273.45 996.66,-1249.75"/>
-<polygon fill="black" stroke="black" points="999.8,-1251.33 1002.03,-1240.97 993.83,-1247.67 999.8,-1251.33"/>
-</g>
-<!-- u37 -->
-<g id="node11" class="node">
-<title>u37</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1108" cy="-1223.67" rx="48.99" ry="18"/>
-<text text-anchor="middle" x="1108" y="-1219.97" font-family="Times,serif" font-size="14.00">Compile</text>
-</g>
-<!-- u30&#45;&gt;u37 -->
-<g id="edge29" class="edge">
-<title>u30&#45;&gt;u37</title>
-<path fill="none" stroke="black" d="M959.88,-1330.1C989.92,-1308.72 1044.08,-1270.17 1077.92,-1246.08"/>
-<polygon fill="black" stroke="black" points="1080.36,-1248.64 1086.48,-1239.99 1076.3,-1242.94 1080.36,-1248.64"/>
-</g>
-<!-- u38 -->
-<g id="node12" class="node">
-<title>u38</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1215" cy="-1223.67" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="1215" y="-1219.97" font-family="Times,serif" font-size="14.00">Config</text>
-</g>
-<!-- u30&#45;&gt;u38 -->
-<g id="edge30" class="edge">
-<title>u30&#45;&gt;u38</title>
-<path fill="none" stroke="black" d="M969.51,-1331.91C1021.01,-1309.41 1122.97,-1264.87 1177.89,-1240.88"/>
-<polygon fill="black" stroke="black" points="1179.49,-1244 1187.26,-1236.79 1176.69,-1237.59 1179.49,-1244"/>
-</g>
-<!-- u39 -->
-<g id="node13" class="node">
-<title>u39</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1322" cy="-1223.67" rx="48.99" ry="18"/>
-<text text-anchor="middle" x="1322" y="-1219.97" font-family="Times,serif" font-size="14.00">Whereis</text>
-</g>
-<!-- u30&#45;&gt;u39 -->
-<g id="edge31" class="edge">
-<title>u30&#45;&gt;u39</title>
-<path fill="none" stroke="black" d="M975.87,-1333.74C1046.85,-1311.37 1199.65,-1263.23 1276.25,-1239.09"/>
-<polygon fill="black" stroke="black" points="1277.61,-1242.33 1286.1,-1235.99 1275.51,-1235.65 1277.61,-1242.33"/>
-</g>
-<!-- u40 -->
-<g id="node14" class="node">
-<title>u40</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1417" cy="-1223.67" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="1417" y="-1219.97" font-family="Times,serif" font-size="14.00">List</text>
-</g>
-<!-- u30&#45;&gt;u40 -->
-<g id="edge32" class="edge">
-<title>u30&#45;&gt;u40</title>
-<path fill="none" stroke="black" d="M985,-1337.81C1066.71,-1323.43 1239.65,-1289.89 1380,-1241.67 1381.91,-1241.02 1383.85,-1240.3 1385.79,-1239.54"/>
-<polygon fill="black" stroke="black" points="1387.54,-1242.6 1395.38,-1235.48 1384.81,-1236.15 1387.54,-1242.6"/>
-</g>
-<!-- u41 -->
-<g id="node15" class="node">
-<title>u41</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1527" cy="-1223.67" rx="63.09" ry="18"/>
-<text text-anchor="middle" x="1527" y="-1219.97" font-family="Times,serif" font-size="14.00">ChangeLog</text>
-</g>
-<!-- u30&#45;&gt;u41 -->
-<g id="edge33" class="edge">
-<title>u30&#45;&gt;u41</title>
-<path fill="none" stroke="black" d="M983.75,-1337C1074.05,-1319.77 1281.48,-1279.6 1455,-1241.67 1460.05,-1240.57 1465.28,-1239.39 1470.53,-1238.2"/>
-<polygon fill="black" stroke="black" points="1471.62,-1241.54 1480.57,-1235.88 1470.04,-1234.72 1471.62,-1241.54"/>
-</g>
-<!-- u42 -->
-<g id="node16" class="node">
-<title>u42</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1658" cy="-1223.67" rx="50.09" ry="18"/>
-<text text-anchor="middle" x="1658" y="-1219.97" font-family="Times,serif" font-size="14.00">Prefetch</text>
-</g>
-<!-- u30&#45;&gt;u42 -->
-<g id="edge34" class="edge">
-<title>u30&#45;&gt;u42</title>
-<path fill="none" stroke="black" d="M988.15,-1339.95C1099.08,-1326.81 1373.31,-1291.74 1599,-1241.67 1603.1,-1240.76 1607.33,-1239.73 1611.56,-1238.64"/>
-<polygon fill="black" stroke="black" points="1612.61,-1241.98 1621.36,-1236 1610.79,-1235.22 1612.61,-1241.98"/>
-</g>
-<!-- u43 -->
-<g id="node17" class="node">
-<title>u43</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="211" cy="-1223.67" rx="27" ry="18"/>
-<text text-anchor="middle" x="211" y="-1219.97" font-family="Times,serif" font-size="14.00">GC</text>
-</g>
-<!-- u30&#45;&gt;u43 -->
-<g id="edge35" class="edge">
-<title>u30&#45;&gt;u43</title>
-<path fill="none" stroke="black" d="M884.84,-1342.95C767.4,-1335.8 477.97,-1311.93 247,-1241.67 245.07,-1241.09 243.1,-1240.41 241.15,-1239.67"/>
-<polygon fill="black" stroke="black" points="242.1,-1236.28 231.53,-1235.63 239.39,-1242.73 242.1,-1236.28"/>
-</g>
-<!-- u44 -->
-<g id="node18" class="node">
-<title>u44</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="292" cy="-1223.67" rx="36.29" ry="18"/>
-<text text-anchor="middle" x="292" y="-1219.97" font-family="Times,serif" font-size="14.00">DInfo</text>
-</g>
-<!-- u30&#45;&gt;u44 -->
-<g id="edge36" class="edge">
-<title>u30&#45;&gt;u44</title>
-<path fill="none" stroke="black" d="M887.43,-1340.21C783.15,-1328.24 537.23,-1296.29 337,-1241.67 334.37,-1240.96 331.68,-1240.15 328.99,-1239.28"/>
-<polygon fill="black" stroke="black" points="329.93,-1235.9 319.33,-1235.94 327.64,-1242.52 329.93,-1235.9"/>
-</g>
-<!-- u45 -->
-<g id="node19" class="node">
-<title>u45</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="441" cy="-1223.67" rx="94.78" ry="18"/>
-<text text-anchor="middle" x="441" y="-1219.97" font-family="Times,serif" font-size="14.00">ToolRequirements</text>
-</g>
-<!-- u30&#45;&gt;u45 -->
-<g id="edge37" class="edge">
-<title>u30&#45;&gt;u45</title>
-<path fill="none" stroke="black" d="M895.63,-1335.36C808.87,-1314.24 610.48,-1265.94 506.82,-1240.7"/>
-<polygon fill="black" stroke="black" points="507.64,-1237.3 497.1,-1238.33 505.98,-1244.1 507.64,-1237.3"/>
-</g>
-<!-- u46 -->
-<g id="node20" class="node">
-<title>u46</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="589" cy="-1223.67" rx="35.19" ry="18"/>
-<text text-anchor="middle" x="589" y="-1219.97" font-family="Times,serif" font-size="14.00">Nuke</text>
-</g>
-<!-- u30&#45;&gt;u46 -->
-<g id="edge38" class="edge">
-<title>u30&#45;&gt;u46</title>
-<path fill="none" stroke="black" d="M900.74,-1333.5C843.11,-1314.56 728.96,-1276.55 633,-1241.67 630.49,-1240.76 627.9,-1239.8 625.3,-1238.83"/>
-<polygon fill="black" stroke="black" points="626.52,-1235.55 615.93,-1235.27 624.04,-1242.09 626.52,-1235.55"/>
-</g>
-<!-- u31 -->
-<g id="node5" class="node">
-<title>u31</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1012" cy="-1100.67" rx="51.99" ry="18"/>
-<text text-anchor="middle" x="1012" y="-1096.97" font-family="Times,serif" font-size="14.00">Common</text>
-</g>
-<!-- u0 -->
-<g id="node37" class="node">
-<title>u0</title>
-<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="589" cy="-977.67" rx="44.39" ry="18"/>
-<text text-anchor="middle" x="589" y="-973.97" font-family="Times,serif" font-size="14.00">GHCup</text>
-</g>
-<!-- u31&#45;&gt;u0 -->
-<g id="edge39" class="edge">
-<title>u31&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M983.01,-1085.65C974.43,-1081.79 964.94,-1077.81 956,-1074.67 844.36,-1035.45 708.66,-1004 637.66,-988.73"/>
-<polygon fill="black" stroke="black" points="638.17,-985.26 627.66,-986.59 636.71,-992.11 638.17,-985.26"/>
-</g>
-<!-- u32&#45;&gt;u31 -->
-<g id="edge40" class="edge">
-<title>u32&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M806.16,-1209.49C847.05,-1188.08 928.1,-1145.62 975.38,-1120.85"/>
-<polygon fill="black" stroke="black" points="977.13,-1123.89 984.37,-1116.15 973.89,-1117.69 977.13,-1123.89"/>
-</g>
-<!-- u33&#45;&gt;u31 -->
-<g id="edge41" class="edge">
-<title>u33&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M882.18,-1209.26C907.02,-1188.68 954.82,-1149.06 984.98,-1124.07"/>
-<polygon fill="black" stroke="black" points="987.51,-1126.51 992.98,-1117.44 983.05,-1121.12 987.51,-1126.51"/>
-</g>
-<!-- u34&#45;&gt;u0 -->
-<g id="edge42" class="edge">
-<title>u34&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M675.46,-1205.52C659.45,-1163.5 618.18,-1055.24 599.04,-1005"/>
-<polygon fill="black" stroke="black" points="602.24,-1003.59 595.41,-995.49 595.7,-1006.08 602.24,-1003.59"/>
-</g>
-<!-- u35&#45;&gt;u31 -->
-<g id="edge43" class="edge">
-<title>u35&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M947.67,-1206.86C960.04,-1186.63 981.61,-1151.36 996.33,-1127.29"/>
-<polygon fill="black" stroke="black" points="999.38,-1129.02 1001.61,-1118.67 993.41,-1125.37 999.38,-1129.02"/>
-</g>
-<!-- u36&#45;&gt;u31 -->
-<g id="edge44" class="edge">
-<title>u36&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1012,-1205.59C1012,-1185.71 1012,-1152.6 1012,-1129.1"/>
-<polygon fill="black" stroke="black" points="1015.5,-1129.06 1012,-1119.06 1008.5,-1129.06 1015.5,-1129.06"/>
-</g>
-<!-- u37&#45;&gt;u31 -->
-<g id="edge45" class="edge">
-<title>u37&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1094.65,-1205.85C1078.24,-1185.17 1050.27,-1149.91 1031.47,-1126.21"/>
-<polygon fill="black" stroke="black" points="1034.19,-1124.01 1025.24,-1118.36 1028.71,-1128.36 1034.19,-1124.01"/>
-</g>
-<!-- u38&#45;&gt;u31 -->
-<g id="edge46" class="edge">
-<title>u38&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1191.71,-1208.79C1155.81,-1187.4 1086.79,-1146.26 1045.52,-1121.66"/>
-<polygon fill="black" stroke="black" points="1047.29,-1118.64 1036.91,-1116.52 1043.71,-1124.65 1047.29,-1118.64"/>
-</g>
-<!-- u39&#45;&gt;u31 -->
-<g id="edge47" class="edge">
-<title>u39&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1289.7,-1210.07C1233.47,-1188.12 1117.6,-1142.89 1054.77,-1118.37"/>
-<polygon fill="black" stroke="black" points="1055.75,-1114.99 1045.16,-1114.62 1053.2,-1121.51 1055.75,-1114.99"/>
-</g>
-<!-- u40&#45;&gt;u31 -->
-<g id="edge48" class="edge">
-<title>u40&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1394.93,-1211.86C1390.07,-1209.67 1384.91,-1207.48 1380,-1205.67 1269.63,-1165 1135.77,-1130.82 1063.8,-1113.62"/>
-<polygon fill="black" stroke="black" points="1064.6,-1110.21 1054.06,-1111.3 1062.98,-1117.02 1064.6,-1110.21"/>
-</g>
-<!-- u41&#45;&gt;u31 -->
-<g id="edge49" class="edge">
-<title>u41&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1480.14,-1211.6C1471.77,-1209.62 1463.13,-1207.59 1455,-1205.67 1313.45,-1172.35 1146.42,-1133.18 1063.74,-1113.8"/>
-<polygon fill="black" stroke="black" points="1064.38,-1110.35 1053.84,-1111.48 1062.78,-1117.17 1064.38,-1110.35"/>
-</g>
-<!-- u42&#45;&gt;u31 -->
-<g id="edge50" class="edge">
-<title>u42&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1621.02,-1211.37C1613.75,-1209.34 1606.16,-1207.34 1599,-1205.67 1406.54,-1161.03 1174.71,-1125.14 1069.25,-1109.77"/>
-<polygon fill="black" stroke="black" points="1069.53,-1106.27 1059.14,-1108.3 1068.53,-1113.2 1069.53,-1106.27"/>
-</g>
-<!-- u43&#45;&gt;u0 -->
-<g id="edge51" class="edge">
-<title>u43&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M228.01,-1209.54C262.83,-1182.88 345.11,-1121 418,-1074.67 463.76,-1045.59 518.77,-1015.54 553.81,-996.98"/>
-<polygon fill="black" stroke="black" points="555.49,-1000.05 562.7,-992.29 552.22,-993.86 555.49,-1000.05"/>
-</g>
-<!-- u44&#45;&gt;u0 -->
-<g id="edge52" class="edge">
-<title>u44&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M310.13,-1207.78C360.65,-1166.27 503.18,-1049.18 562.54,-1000.41"/>
-<polygon fill="black" stroke="black" points="564.84,-1003.05 570.35,-994 560.4,-997.64 564.84,-1003.05"/>
-</g>
-<!-- u25 -->
-<g id="node45" class="node">
-<title>u25</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="764" cy="-726.67" rx="51.19" ry="18"/>
-<text text-anchor="middle" x="764" y="-722.97" font-family="Times,serif" font-size="14.00">Platform</text>
-</g>
-<!-- u45&#45;&gt;u25 -->
-<g id="edge53" class="edge">
-<title>u45&#45;&gt;u25</title>
-<path fill="none" stroke="black" d="M510.37,-1211.33C674.38,-1184.51 1072.43,-1119.35 1073,-1118.67 1191.08,-979.57 904.93,-804.32 800.41,-746.86"/>
-<polygon fill="black" stroke="black" points="801.91,-743.7 791.46,-741.99 798.57,-749.84 801.91,-743.7"/>
-</g>
-<!-- u27 -->
-<g id="node46" class="node">
-<title>u27</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="92" cy="-1100.67" rx="76.09" ry="18"/>
-<text text-anchor="middle" x="92" y="-1096.97" font-family="Times,serif" font-size="14.00">Requirements</text>
-</g>
-<!-- u45&#45;&gt;u27 -->
-<g id="edge54" class="edge">
-<title>u45&#45;&gt;u27</title>
-<path fill="none" stroke="black" d="M397.5,-1207.59C332.8,-1185.16 211.48,-1143.1 142.79,-1119.28"/>
-<polygon fill="black" stroke="black" points="143.65,-1115.88 133.05,-1115.91 141.36,-1122.49 143.65,-1115.88"/>
-</g>
-<!-- u46&#45;&gt;u0 -->
-<g id="edge55" class="edge">
-<title>u46&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M589,-1205.52C589,-1163.78 589,-1056.66 589,-1006"/>
-<polygon fill="black" stroke="black" points="592.5,-1005.81 589,-995.81 585.5,-1005.81 592.5,-1005.81"/>
-</g>
-<!-- u16 -->
-<g id="node21" class="node">
-<title>u16</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="619" cy="-194.67" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="619" y="-190.97" font-family="Times,serif" font-size="14.00">File</text>
-</g>
-<!-- u14 -->
-<g id="node29" class="node">
-<title>u14</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="619" cy="-71.67" rx="48.19" ry="18"/>
-<text text-anchor="middle" x="619" y="-67.97" font-family="Times,serif" font-size="14.00">Internal</text>
-</g>
-<!-- u16&#45;&gt;u14 -->
-<g id="edge59" class="edge">
-<title>u16&#45;&gt;u14</title>
-<path fill="none" stroke="black" d="M619,-176.59C619,-156.71 619,-123.6 619,-100.1"/>
-<polygon fill="black" stroke="black" points="622.5,-100.06 619,-90.06 615.5,-100.06 622.5,-100.06"/>
-</g>
-<!-- u3 -->
-<g id="node39" class="node">
-<title>u3</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="390" cy="-336.67" rx="40.89" ry="18"/>
-<text text-anchor="middle" x="390" y="-332.97" font-family="Times,serif" font-size="14.00">Errors</text>
-</g>
-<!-- u16&#45;&gt;u3 -->
-<g id="edge58" class="edge">
-<title>u16&#45;&gt;u3</title>
-<path fill="none" stroke="black" d="M609.27,-211.94C602.58,-222.07 592.96,-234.8 582,-243.67 536.12,-280.81 472.76,-307.42 431.59,-322.18"/>
-<polygon fill="black" stroke="black" points="430.41,-318.88 422.14,-325.5 432.73,-325.49 430.41,-318.88"/>
-</g>
-<!-- u10 -->
-<g id="node22" class="node">
-<title>u10</title>
-<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="530" cy="-194.67" rx="42.79" ry="18"/>
-<text text-anchor="middle" x="530" y="-190.97" font-family="Times,serif" font-size="14.00">Search</text>
-</g>
-<!-- u4 -->
-<g id="node33" class="node">
-<title>u4</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="1038" cy="-194.67" rx="38.19" ry="18"/>
-<text text-anchor="middle" x="1038" y="-190.97" font-family="Times,serif" font-size="14.00">Types</text>
-</g>
-<!-- u10&#45;&gt;u4 -->
-<g id="edge60" class="edge">
-<title>u10&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M537.16,-212.79C546.14,-232.73 563.64,-263.75 590,-277.17 614.16,-289.48 624.04,-280.02 651,-277.17 777.98,-263.79 924.57,-226.35 995.36,-206.85"/>
-<polygon fill="black" stroke="black" points="996.54,-210.15 1005.24,-204.1 994.67,-203.4 996.54,-210.15"/>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="864" cy="-877.04" rx="56.59" ry="18"/>
+<text text-anchor="middle" x="864" y="-873.34" font-family="Times,serif" font-size="14.00">Download</text>
 </g>
 <!-- u15 -->
-<g id="node23" class="node">
-<title>u15</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="635" cy="-336.67" rx="43.59" ry="18"/>
-<text text-anchor="middle" x="635" y="-332.97" font-family="Times,serif" font-size="14.00">Logger</text>
-</g>
-<!-- u15&#45;&gt;u16 -->
-<g id="edge61" class="edge">
-<title>u15&#45;&gt;u16</title>
-<path fill="none" stroke="black" d="M633.04,-318.51C630.32,-294.68 625.36,-251.33 622.13,-223.02"/>
-<polygon fill="black" stroke="black" points="625.59,-222.52 620.98,-212.98 618.64,-223.31 625.59,-222.52"/>
-</g>
-<!-- u12 -->
-<g id="node24" class="node">
-<title>u12</title>
-<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="745" cy="-336.67" rx="48.19" ry="18"/>
-<text text-anchor="middle" x="745" y="-332.97" font-family="Times,serif" font-size="14.00">Internal</text>
-</g>
-<!-- u12&#45;&gt;u4 -->
-<g id="edge62" class="edge">
-<title>u12&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M773.33,-322.04C781.01,-318.34 789.32,-314.35 797,-310.67 870.15,-275.64 955.87,-234.78 1002.82,-212.42"/>
-<polygon fill="black" stroke="black" points="1004.43,-215.53 1011.95,-208.07 1001.42,-209.21 1004.43,-215.53"/>
-</g>
-<!-- u11 -->
-<g id="node25" class="node">
-<title>u11</title>
-<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="482" cy="-531.67" rx="27" ry="18"/>
-<text text-anchor="middle" x="482" y="-527.97" font-family="Times,serif" font-size="14.00">QQ</text>
-</g>
-<!-- u21 -->
 <g id="node26" class="node">
-<title>u21</title>
-<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="560" cy="-531.67" rx="27" ry="18"/>
-<text text-anchor="middle" x="560" y="-527.97" font-family="Times,serif" font-size="14.00">QQ</text>
+<title>u15</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1097" cy="-746.04" rx="51.19" ry="18"/>
+<text text-anchor="middle" x="1097" y="-742.34" font-family="Times,serif" font-size="14.00">Platform</text>
 </g>
-<!-- u13&#45;&gt;u15 -->
-<g id="edge56" class="edge">
-<title>u13&#45;&gt;u15</title>
-<path fill="none" stroke="black" d="M650.49,-513.55C647.54,-480 640.96,-405.38 637.4,-364.96"/>
-<polygon fill="black" stroke="black" points="640.87,-364.42 636.51,-354.76 633.9,-365.03 640.87,-364.42"/>
-</g>
-<!-- u8 -->
-<g id="node28" class="node">
-<title>u8</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="896" cy="-531.67" rx="67.69" ry="18"/>
-<text text-anchor="middle" x="896" y="-527.97" font-family="Times,serif" font-size="14.00">MegaParsec</text>
-</g>
-<!-- u8&#45;&gt;u4 -->
-<g id="edge57" class="edge">
-<title>u8&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M901.3,-513.5C913.07,-476.01 942.99,-384.28 976,-310.67 990.2,-279.02 1009.56,-244.15 1022.85,-221.2"/>
-<polygon fill="black" stroke="black" points="1025.94,-222.83 1027.96,-212.43 1019.9,-219.3 1025.94,-222.83"/>
-</g>
-<!-- u6 -->
-<g id="node31" class="node">
-<title>u6</title>
-<ellipse fill="#ff7777" stroke="black" stroke-width="2" cx="1134" cy="-336.67" rx="36" ry="18"/>
-<text text-anchor="middle" x="1134" y="-332.97" font-family="Times,serif" font-size="14.00">JSON</text>
-</g>
-<!-- u6&#45;&gt;u8 -->
-<g id="edge65" class="edge">
-<title>u6&#45;&gt;u8</title>
-<path fill="none" stroke="black" d="M1128.71,-354.49C1122.6,-371.76 1111.13,-398.6 1094,-416.67 1051.3,-461.74 986.8,-494.31 943.12,-512.82"/>
-<polygon fill="black" stroke="black" points="941.75,-509.6 933.86,-516.67 944.43,-516.07 941.75,-509.6"/>
-</g>
-<!-- u7 -->
-<g id="node32" class="node">
-<title>u7</title>
-<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="1134" cy="-194.67" rx="33.29" ry="18"/>
-<text text-anchor="middle" x="1134" y="-190.97" font-family="Times,serif" font-size="14.00">Utils</text>
-</g>
-<!-- u6&#45;&gt;u7 -->
-<g id="edge66" class="edge">
-<title>u6&#45;&gt;u7</title>
-<path fill="none" stroke="black" d="M1134,-318.51C1134,-294.68 1134,-251.33 1134,-223.02"/>
-<polygon fill="black" stroke="black" points="1137.5,-222.98 1134,-212.98 1130.5,-222.98 1137.5,-222.98"/>
-</g>
-<!-- u5 -->
-<g id="node36" class="node">
-<title>u5</title>
-<ellipse fill="#ff77ff" stroke="black" stroke-width="0" cx="482" cy="-726.67" rx="30.59" ry="18"/>
-<text text-anchor="middle" x="482" y="-722.97" font-family="Times,serif" font-size="14.00">Dirs</text>
-</g>
-<!-- u4&#45;&gt;u5 -->
-<g id="edge63" class="edge">
-<title>u4&#45;&gt;u5</title>
-<path fill="none" stroke="black" stroke-dasharray="5,2" d="M1029.13,-212.24C1017.93,-234.08 999.15,-274.04 991,-310.67 987.36,-327.02 986.96,-599.01 976,-611.67 841.43,-767.14 713.25,-625.15 522,-700.67 517.68,-702.38 513.32,-704.55 509.14,-706.91"/>
-<polygon fill="black" stroke="black" points="507.1,-704.05 500.37,-712.23 510.74,-710.03 507.1,-704.05"/>
-</g>
-<!-- u9 -->
-<g id="node34" class="node">
-<title>u9</title>
-<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="1040" cy="-336.67" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="1040" y="-332.97" font-family="Times,serif" font-size="14.00">Optics</text>
-</g>
-<!-- u9&#45;&gt;u4 -->
-<g id="edge64" class="edge">
-<title>u9&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M1039.75,-318.51C1039.41,-294.68 1038.8,-251.33 1038.39,-223.02"/>
-<polygon fill="black" stroke="black" points="1041.89,-222.93 1038.25,-212.98 1034.89,-223.03 1041.89,-222.93"/>
-</g>
-<!-- u19 -->
-<g id="node35" class="node">
-<title>u19</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="564" cy="-726.67" rx="33.29" ry="18"/>
-<text text-anchor="middle" x="564" y="-722.97" font-family="Times,serif" font-size="14.00">Utils</text>
-</g>
-<!-- u19&#45;&gt;u2 -->
-<g id="edge67" class="edge">
-<title>u19&#45;&gt;u2</title>
-<path fill="none" stroke="black" d="M568.67,-744.69C574.69,-763.8 587.21,-793.03 610,-806.17 650.14,-829.32 984.78,-825.25 1027,-806.17 1050.91,-795.37 1069.91,-771.92 1082.04,-753.27"/>
-<polygon fill="black" stroke="black" points="1085.14,-754.92 1087.44,-744.58 1079.19,-751.23 1085.14,-754.92"/>
-</g>
-<!-- u5&#45;&gt;u10 -->
-<g id="edge69" class="edge">
-<title>u5&#45;&gt;u10</title>
-<path fill="none" stroke="black" d="M454.49,-718.48C411.04,-705.45 327.86,-673.4 293,-611.67 227.22,-495.18 221.99,-424.05 293,-310.67 333.99,-245.22 424.02,-216.08 480.56,-203.83"/>
-<polygon fill="black" stroke="black" points="481.28,-207.25 490.37,-201.8 479.87,-200.4 481.28,-207.25"/>
-</g>
-<!-- u5&#45;&gt;u12 -->
-<g id="edge70" class="edge">
-<title>u5&#45;&gt;u12</title>
-<path fill="none" stroke="black" d="M474.4,-709.13C464.84,-687.34 448.97,-647.58 443,-611.67 439.14,-588.44 429.48,-524.97 443,-505.67 509.48,-410.79 595.57,-486.52 688,-416.67 706.67,-402.56 721.81,-380.63 731.78,-363.45"/>
-<polygon fill="black" stroke="black" points="734.97,-364.91 736.78,-354.47 728.86,-361.5 734.97,-364.91"/>
-</g>
-<!-- u5&#45;&gt;u11 -->
-<g id="edge71" class="edge">
-<title>u5&#45;&gt;u11</title>
-<path fill="none" stroke="black" d="M482,-708.55C482,-675 482,-600.38 482,-559.96"/>
-<polygon fill="black" stroke="black" points="485.5,-559.76 482,-549.76 478.5,-559.76 485.5,-559.76"/>
-</g>
-<!-- u5&#45;&gt;u6 -->
-<g id="edge73" class="edge">
-<title>u5&#45;&gt;u6</title>
-<path fill="none" stroke="black" d="M500.35,-712.18C506.9,-707.92 514.52,-703.58 522,-700.67 725.9,-621.54 849.59,-764.56 1006,-611.67 1040.41,-578.04 1008.32,-549.58 1028,-505.67 1048.14,-460.74 1068.12,-458.57 1094,-416.67 1104.57,-399.56 1114.79,-379.3 1122.25,-363.59"/>
-<polygon fill="black" stroke="black" points="1125.45,-365 1126.51,-354.46 1119.11,-362.03 1125.45,-365"/>
-</g>
-<!-- u5&#45;&gt;u9 -->
-<g id="edge72" class="edge">
-<title>u5&#45;&gt;u9</title>
-<path fill="none" stroke="black" d="M500.36,-712.21C506.92,-707.95 514.53,-703.6 522,-700.67 718.31,-623.71 838.99,-760.86 988,-611.67 1005.46,-594.19 1028.14,-430.37 1036.61,-364.7"/>
-<polygon fill="black" stroke="black" points="1040.1,-365.05 1037.89,-354.69 1033.15,-364.17 1040.1,-365.05"/>
-</g>
-<!-- u5&#45;&gt;u3 -->
-<g id="edge68" class="edge">
-<title>u5&#45;&gt;u3</title>
-<path fill="none" stroke="black" d="M472.91,-709.22C461.35,-687.54 441.59,-647.88 431,-611.67 405.26,-523.69 395.12,-414.85 391.62,-364.97"/>
-<polygon fill="black" stroke="black" points="395.09,-364.44 390.94,-354.7 388.11,-364.91 395.09,-364.44"/>
-</g>
-<!-- u1 -->
-<g id="node38" class="node">
-<title>u1</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="546" cy="-854.67" rx="37.09" ry="18"/>
-<text text-anchor="middle" x="546" y="-850.97" font-family="Times,serif" font-size="14.00">Cabal</text>
-</g>
-<!-- u0&#45;&gt;u1 -->
-<g id="edge2" class="edge">
-<title>u0&#45;&gt;u1</title>
-<path fill="none" stroke="black" d="M582.93,-959.59C575.79,-939.51 563.86,-905.92 555.49,-882.38"/>
-<polygon fill="black" stroke="black" points="558.69,-880.92 552.04,-872.67 552.09,-883.26 558.69,-880.92"/>
-</g>
-<!-- u20 -->
-<g id="node41" class="node">
-<title>u20</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="713" cy="-854.67" rx="32.49" ry="18"/>
-<text text-anchor="middle" x="713" y="-850.97" font-family="Times,serif" font-size="14.00">GHC</text>
-</g>
-<!-- u0&#45;&gt;u20 -->
-<g id="edge3" class="edge">
-<title>u0&#45;&gt;u20</title>
-<path fill="none" stroke="black" d="M605.21,-960.86C626.89,-939.7 665.45,-902.07 690.09,-878.03"/>
-<polygon fill="black" stroke="black" points="692.85,-880.22 697.57,-870.73 687.96,-875.21 692.85,-880.22"/>
+<!-- u2&#45;&gt;u15 -->
+<g id="edge20" class="edge">
+<title>u2&#45;&gt;u15</title>
+<path fill="none" stroke="black" d="M898.14,-862.66C933.72,-848.11 990.51,-823.14 1036,-795.04 1048.03,-787.6 1060.45,-778.2 1070.92,-769.69"/>
+<polygon fill="black" stroke="black" points="1073.38,-772.18 1078.85,-763.11 1068.92,-766.8 1073.38,-772.18"/>
 </g>
 <!-- u22 -->
-<g id="node42" class="node">
+<g id="node27" class="node">
 <title>u22</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="632" cy="-854.67" rx="30.59" ry="18"/>
-<text text-anchor="middle" x="632" y="-850.97" font-family="Times,serif" font-size="14.00">HLS</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="982" cy="-746.04" rx="45.49" ry="18"/>
+<text text-anchor="middle" x="982" y="-742.34" font-family="Times,serif" font-size="14.00">Version</text>
 </g>
-<!-- u0&#45;&gt;u22 -->
-<g id="edge4" class="edge">
-<title>u0&#45;&gt;u22</title>
-<path fill="none" stroke="black" d="M595.07,-959.59C602.21,-939.51 614.14,-905.92 622.51,-882.38"/>
-<polygon fill="black" stroke="black" points="625.91,-883.26 625.96,-872.67 619.31,-880.92 625.91,-883.26"/>
+<!-- u2&#45;&gt;u22 -->
+<g id="edge21" class="edge">
+<title>u2&#45;&gt;u22</title>
+<path fill="none" stroke="black" d="M879.18,-859.44C899.83,-836.86 936.88,-796.37 960.41,-770.64"/>
+<polygon fill="black" stroke="black" points="963.08,-772.91 967.24,-763.17 957.91,-768.18 963.08,-772.91"/>
+</g>
+<!-- u28 -->
+<g id="node2" class="node">
+<title>u28</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="777" cy="-746.04" rx="33.29" ry="18"/>
+<text text-anchor="middle" x="777" y="-742.34" font-family="Times,serif" font-size="14.00">Utils</text>
+</g>
+<!-- u16 -->
+<g id="node12" class="node">
+<title>u16</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="826" cy="-546.04" rx="46.59" ry="18"/>
+<text text-anchor="middle" x="826" y="-542.34" font-family="Times,serif" font-size="14.00">Prelude</text>
+</g>
+<!-- u28&#45;&gt;u16 -->
+<g id="edge22" class="edge">
+<title>u28&#45;&gt;u16</title>
+<path fill="none" stroke="black" d="M781.18,-728.15C789.67,-693.83 809.02,-615.63 819.3,-574.11"/>
+<polygon fill="black" stroke="black" points="822.76,-574.7 821.76,-564.16 815.96,-573.02 822.76,-574.7"/>
+</g>
+<!-- u31 -->
+<g id="node3" class="node">
+<title>u31</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="729" cy="-877.04" rx="60.39" ry="18"/>
+<text text-anchor="middle" x="729" y="-873.34" font-family="Times,serif" font-size="14.00">IOStreams</text>
+</g>
+<!-- u31&#45;&gt;u28 -->
+<g id="edge23" class="edge">
+<title>u31&#45;&gt;u28</title>
+<path fill="none" stroke="black" d="M735.37,-858.91C743.52,-837 757.72,-798.86 767.23,-773.28"/>
+<polygon fill="black" stroke="black" points="770.55,-774.42 770.75,-763.83 763.98,-771.98 770.55,-774.42"/>
+</g>
+<!-- u19 -->
+<g id="node4" class="node">
+<title>u19</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="595" cy="-200.04" rx="28.7" ry="18"/>
+<text text-anchor="middle" x="595" y="-196.34" font-family="Times,serif" font-size="14.00">File</text>
+</g>
+<!-- u17 -->
+<g id="node14" class="node">
+<title>u17</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="601" cy="-74.04" rx="48.19" ry="18"/>
+<text text-anchor="middle" x="601" y="-70.34" font-family="Times,serif" font-size="14.00">Internal</text>
+</g>
+<!-- u19&#45;&gt;u17 -->
+<g id="edge27" class="edge">
+<title>u19&#45;&gt;u17</title>
+<path fill="none" stroke="black" d="M595.83,-181.79C596.83,-161.25 598.5,-126.67 599.67,-102.44"/>
+<polygon fill="black" stroke="black" points="603.19,-102.29 600.17,-92.13 596.19,-101.95 603.19,-102.29"/>
+</g>
+<!-- u3 -->
+<g id="node25" class="node">
+<title>u3</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="462" cy="-346.04" rx="40.89" ry="18"/>
+<text text-anchor="middle" x="462" y="-342.34" font-family="Times,serif" font-size="14.00">Errors</text>
+</g>
+<!-- u19&#45;&gt;u3 -->
+<g id="edge26" class="edge">
+<title>u19&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M581,-216.2C557.77,-241.35 511.1,-291.87 483.62,-321.63"/>
+<polygon fill="black" stroke="black" points="480.96,-319.35 476.74,-329.07 486.1,-324.1 480.96,-319.35"/>
+</g>
+<!-- u12 -->
+<g id="node5" class="node">
+<title>u12</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="684" cy="-200.04" rx="42.79" ry="18"/>
+<text text-anchor="middle" x="684" y="-196.34" font-family="Times,serif" font-size="14.00">Search</text>
+</g>
+<!-- u4 -->
+<g id="node18" class="node">
+<title>u4</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="367" cy="-200.04" rx="38.19" ry="18"/>
+<text text-anchor="middle" x="367" y="-196.34" font-family="Times,serif" font-size="14.00">Types</text>
+</g>
+<!-- u12&#45;&gt;u4 -->
+<g id="edge28" class="edge">
+<title>u12&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M677.28,-217.85C668.51,-238.23 651.02,-270.58 624,-284.54 599.91,-296.97 589.55,-290.02 563,-284.54 502.61,-272.07 437.92,-240.11 400.03,-219.26"/>
+<polygon fill="black" stroke="black" points="401.43,-216.04 391,-214.22 398.02,-222.15 401.43,-216.04"/>
+</g>
+<!-- u18 -->
+<g id="node6" class="node">
+<title>u18</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="719" cy="-346.04" rx="43.59" ry="18"/>
+<text text-anchor="middle" x="719" y="-342.34" font-family="Times,serif" font-size="14.00">Logger</text>
+</g>
+<!-- u18&#45;&gt;u19 -->
+<g id="edge29" class="edge">
+<title>u18&#45;&gt;u19</title>
+<path fill="none" stroke="black" d="M703.82,-329.08C686.13,-310.31 656.24,-278.02 632,-249.04 625.56,-241.33 618.77,-232.7 612.8,-224.9"/>
+<polygon fill="black" stroke="black" points="615.52,-222.7 606.69,-216.85 609.95,-226.93 615.52,-222.7"/>
+</g>
+<!-- u14 -->
+<g id="node7" class="node">
+<title>u14</title>
+<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="609" cy="-346.04" rx="48.19" ry="18"/>
+<text text-anchor="middle" x="609" y="-342.34" font-family="Times,serif" font-size="14.00">Internal</text>
+</g>
+<!-- u14&#45;&gt;u4 -->
+<g id="edge30" class="edge">
+<title>u14&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M584.46,-330.44C540.32,-304.17 447.59,-248.99 398.7,-219.9"/>
+<polygon fill="black" stroke="black" points="400.21,-216.72 389.82,-214.62 396.63,-222.74 400.21,-216.72"/>
+</g>
+<!-- u20 -->
+<g id="node8" class="node">
+<title>u20</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="957" cy="-346.04" rx="46.59" ry="18"/>
+<text text-anchor="middle" x="957" y="-342.34" font-family="Times,serif" font-size="14.00">Process</text>
+</g>
+<!-- u32 -->
+<g id="node9" class="node">
+<title>u32</title>
+<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="840" cy="-346.04" rx="52.79" ry="18"/>
+<text text-anchor="middle" x="840" y="-342.34" font-family="Times,serif" font-size="14.00">Windows</text>
+</g>
+<!-- u32&#45;&gt;u12 -->
+<g id="edge31" class="edge">
+<title>u32&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M822.41,-328.8C794.64,-303.17 740.56,-253.24 708.84,-223.97"/>
+<polygon fill="black" stroke="black" points="711.01,-221.21 701.29,-217 706.26,-226.35 711.01,-221.21"/>
+</g>
+<!-- u13 -->
+<g id="node10" class="node">
+<title>u13</title>
+<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="734" cy="-546.04" rx="27" ry="18"/>
+<text text-anchor="middle" x="734" y="-542.34" font-family="Times,serif" font-size="14.00">QQ</text>
+</g>
+<!-- u21 -->
+<g id="node11" class="node">
+<title>u21</title>
+<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="977" cy="-546.04" rx="27" ry="18"/>
+<text text-anchor="middle" x="977" y="-542.34" font-family="Times,serif" font-size="14.00">QQ</text>
+</g>
+<!-- u16&#45;&gt;u18 -->
+<g id="edge24" class="edge">
+<title>u16&#45;&gt;u18</title>
+<path fill="none" stroke="black" d="M816.88,-528.15C798.12,-493.45 755.14,-413.91 732.9,-372.75"/>
+<polygon fill="black" stroke="black" points="735.93,-371.01 728.1,-363.87 729.77,-374.34 735.93,-371.01"/>
+</g>
+<!-- u10 -->
+<g id="node13" class="node">
+<title>u10</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="621" cy="-546.04" rx="67.69" ry="18"/>
+<text text-anchor="middle" x="621" y="-542.34" font-family="Times,serif" font-size="14.00">MegaParsec</text>
+</g>
+<!-- u10&#45;&gt;u4 -->
+<g id="edge25" class="edge">
+<title>u10&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M608.83,-528.04C593.2,-505.6 566.08,-464.42 549,-426.04 528.99,-381.07 544.65,-360.74 517,-320.04 486.57,-275.23 434.11,-239.25 399.99,-219.02"/>
+<polygon fill="black" stroke="black" points="401.72,-215.97 391.31,-213.97 398.2,-222.02 401.72,-215.97"/>
+</g>
+<!-- u8 -->
+<g id="node15" class="node">
+<title>u8</title>
+<ellipse fill="#ff7777" stroke="black" stroke-width="2" cx="68" cy="-346.04" rx="36" ry="18"/>
+<text text-anchor="middle" x="68" y="-342.34" font-family="Times,serif" font-size="14.00">JSON</text>
+</g>
+<!-- u8&#45;&gt;u10 -->
+<g id="edge35" class="edge">
+<title>u8&#45;&gt;u10</title>
+<path fill="none" stroke="black" d="M73.11,-363.98C79.47,-382.14 92.13,-410.45 113,-426.04 241.65,-522.14 435.74,-542.2 542.93,-545.46"/>
+<polygon fill="black" stroke="black" points="542.94,-548.96 553.03,-545.72 543.13,-541.96 542.94,-548.96"/>
+</g>
+<!-- u9 -->
+<g id="node17" class="node">
+<title>u9</title>
+<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="68" cy="-200.04" rx="33.29" ry="18"/>
+<text text-anchor="middle" x="68" y="-196.34" font-family="Times,serif" font-size="14.00">Utils</text>
+</g>
+<!-- u8&#45;&gt;u9 -->
+<g id="edge37" class="edge">
+<title>u8&#45;&gt;u9</title>
+<path fill="none" stroke="black" d="M68,-327.95C68,-303.38 68,-257.79 68,-228.46"/>
+<polygon fill="black" stroke="black" points="71.5,-228.1 68,-218.1 64.5,-228.1 71.5,-228.1"/>
+</g>
+<!-- u5 -->
+<g id="node19" class="node">
+<title>u5</title>
+<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="274" cy="-200.04" rx="36.29" ry="18"/>
+<text text-anchor="middle" x="274" y="-196.34" font-family="Times,serif" font-size="14.00">Stack</text>
+</g>
+<!-- u8&#45;&gt;u5 -->
+<g id="edge36" class="edge">
+<title>u8&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M91.07,-331.98C135.2,-306.96 227.81,-254.25 234,-249.04 242.13,-242.19 249.89,-233.55 256.38,-225.5"/>
+<polygon fill="black" stroke="black" points="259.29,-227.46 262.64,-217.42 253.75,-223.18 259.29,-227.46"/>
+</g>
+<!-- u6 -->
+<g id="node16" class="node">
+<title>u6</title>
+<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="172" cy="-346.04" rx="50.09" ry="18"/>
+<text text-anchor="middle" x="172" y="-342.34" font-family="Times,serif" font-size="14.00">Versions</text>
+</g>
+<!-- u7 -->
+<g id="node22" class="node">
+<title>u7</title>
+<ellipse fill="#ff77ff" stroke="black" stroke-width="0" cx="457" cy="-746.04" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="457" y="-742.34" font-family="Times,serif" font-size="14.00">Dirs</text>
+</g>
+<!-- u4&#45;&gt;u7 -->
+<g id="edge32" class="edge">
+<title>u4&#45;&gt;u7</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M371.51,-218.23C377.33,-241.24 387.28,-283.39 392,-320.04 409.38,-455.08 376.84,-493.26 407,-626.04 414.68,-659.84 431.33,-696.24 443.31,-719.76"/>
+<polygon fill="black" stroke="black" points="440.25,-721.44 447.96,-728.7 446.46,-718.22 440.25,-721.44"/>
+</g>
+<!-- u5&#45;&gt;u6 -->
+<g id="edge33" class="edge">
+<title>u5&#45;&gt;u6</title>
+<path fill="none" stroke="black" d="M262.44,-217.36C244.69,-242.42 210.6,-290.54 189.72,-320.01"/>
+<polygon fill="black" stroke="black" points="186.62,-318.33 183.7,-328.52 192.34,-322.38 186.62,-318.33"/>
+</g>
+<!-- u11 -->
+<g id="node20" class="node">
+<title>u11</title>
+<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="343" cy="-346.04" rx="40.09" ry="18"/>
+<text text-anchor="middle" x="343" y="-342.34" font-family="Times,serif" font-size="14.00">Optics</text>
+</g>
+<!-- u11&#45;&gt;u4 -->
+<g id="edge34" class="edge">
+<title>u11&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M345.85,-327.95C349.96,-303.27 357.61,-257.39 362.49,-228.08"/>
+<polygon fill="black" stroke="black" points="365.96,-228.54 364.16,-218.1 359.06,-227.39 365.96,-228.54"/>
 </g>
 <!-- u23 -->
-<g id="node43" class="node">
+<g id="node21" class="node">
 <title>u23</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="379" cy="-854.67" rx="36.29" ry="18"/>
-<text text-anchor="middle" x="379" y="-850.97" font-family="Times,serif" font-size="14.00">Stack</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="539" cy="-746.04" rx="33.29" ry="18"/>
+<text text-anchor="middle" x="539" y="-742.34" font-family="Times,serif" font-size="14.00">Utils</text>
 </g>
-<!-- u0&#45;&gt;u23 -->
-<g id="edge5" class="edge">
-<title>u0&#45;&gt;u23</title>
-<path fill="none" stroke="black" d="M564.5,-962.56C526.3,-940.54 452.56,-898.06 410.47,-873.81"/>
-<polygon fill="black" stroke="black" points="412.16,-870.74 401.75,-868.78 408.66,-876.81 412.16,-870.74"/>
+<!-- u23&#45;&gt;u2 -->
+<g id="edge38" class="edge">
+<title>u23&#45;&gt;u2</title>
+<path fill="none" stroke="black" d="M564.74,-757.62C588.62,-767.41 625.16,-782.33 657,-795.04 713.2,-817.46 778.2,-842.8 820.15,-859.07"/>
+<polygon fill="black" stroke="black" points="818.93,-862.35 829.52,-862.7 821.46,-855.83 818.93,-862.35"/>
+</g>
+<!-- u7&#45;&gt;u12 -->
+<g id="edge40" class="edge">
+<title>u7&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M462.46,-728.29C469.7,-705.44 482.32,-663.09 489,-626.04 497.4,-579.47 487.79,-566.01 499,-520.04 509.67,-476.26 525.92,-469.71 537,-426.04 548.66,-380.08 526.65,-361.85 549,-320.04 572.04,-276.93 596.52,-281.58 633,-249.04 642.03,-240.98 651.75,-231.93 660.25,-223.88"/>
+<polygon fill="black" stroke="black" points="662.84,-226.25 667.67,-216.83 658.01,-221.18 662.84,-226.25"/>
+</g>
+<!-- u7&#45;&gt;u14 -->
+<g id="edge41" class="edge">
+<title>u7&#45;&gt;u14</title>
+<path fill="none" stroke="black" d="M463.12,-728.34C476.85,-690.97 511.24,-597.71 541,-520.04 560.88,-468.15 584.78,-407.79 598.3,-373.84"/>
+<polygon fill="black" stroke="black" points="601.7,-374.77 602.15,-364.19 595.19,-372.18 601.7,-374.77"/>
+</g>
+<!-- u7&#45;&gt;u13 -->
+<g id="edge42" class="edge">
+<title>u7&#45;&gt;u13</title>
+<path fill="none" stroke="black" d="M476.64,-732.05C483.03,-728.02 490.22,-723.68 497,-720.04 585.64,-672.38 633.79,-699.1 703,-626.04 716.59,-611.69 724.45,-590.68 728.86,-573.94"/>
+<polygon fill="black" stroke="black" points="732.27,-574.7 731.17,-564.16 725.46,-573.08 732.27,-574.7"/>
+</g>
+<!-- u7&#45;&gt;u8 -->
+<g id="edge44" class="edge">
+<title>u7&#45;&gt;u8</title>
+<path fill="none" stroke="black" d="M438.75,-731.41C384.23,-690.08 219.78,-560.69 113,-426.04 100.01,-409.65 88.41,-389.06 80.24,-373.01"/>
+<polygon fill="black" stroke="black" points="83.19,-371.09 75.62,-363.68 76.92,-374.2 83.19,-371.09"/>
+</g>
+<!-- u7&#45;&gt;u11 -->
+<g id="edge43" class="edge">
+<title>u7&#45;&gt;u11</title>
+<path fill="none" stroke="black" d="M446.94,-728.73C433.58,-706.37 410.16,-664.57 397,-626.04 366.47,-536.65 351.4,-424.92 345.75,-374.25"/>
+<polygon fill="black" stroke="black" points="349.2,-373.69 344.65,-364.12 342.25,-374.44 349.2,-373.69"/>
+</g>
+<!-- u7&#45;&gt;u3 -->
+<g id="edge39" class="edge">
+<title>u7&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M457.21,-727.93C458,-665.68 460.7,-450.79 461.66,-374.32"/>
+<polygon fill="black" stroke="black" points="465.16,-374.12 461.79,-364.07 458.16,-374.03 465.16,-374.12"/>
+</g>
+<!-- u0 -->
+<g id="node23" class="node">
+<title>u0</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="460" cy="-1009.04" rx="44.39" ry="18"/>
+<text text-anchor="middle" x="460" y="-1005.34" font-family="Times,serif" font-size="14.00">GHCup</text>
+</g>
+<!-- u1 -->
+<g id="node24" class="node">
+<title>u1</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="286" cy="-877.04" rx="37.09" ry="18"/>
+<text text-anchor="middle" x="286" y="-873.34" font-family="Times,serif" font-size="14.00">Cabal</text>
+</g>
+<!-- u0&#45;&gt;u1 -->
+<g id="edge3" class="edge">
+<title>u0&#45;&gt;u1</title>
+<path fill="none" stroke="black" d="M434.75,-994.25C408.03,-979.13 365.23,-953.36 332,-926.04 323.08,-918.7 314.11,-909.77 306.49,-901.61"/>
+<polygon fill="black" stroke="black" points="308.96,-899.13 299.64,-894.1 303.79,-903.85 308.96,-899.13"/>
 </g>
 <!-- u24 -->
-<g id="node44" class="node">
+<g id="node28" class="node">
 <title>u24</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="462" cy="-854.67" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="462" y="-850.97" font-family="Times,serif" font-size="14.00">List</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="539" cy="-877.04" rx="32.49" ry="18"/>
+<text text-anchor="middle" x="539" y="-873.34" font-family="Times,serif" font-size="14.00">GHC</text>
 </g>
 <!-- u0&#45;&gt;u24 -->
-<g id="edge6" class="edge">
+<g id="edge4" class="edge">
 <title>u0&#45;&gt;u24</title>
-<path fill="none" stroke="black" d="M572.4,-960.86C549.97,-939.49 509.92,-901.33 484.72,-877.32"/>
-<polygon fill="black" stroke="black" points="487.07,-874.72 477.41,-870.36 482.24,-879.79 487.07,-874.72"/>
+<path fill="none" stroke="black" d="M470.17,-991.31C483.75,-968.95 507.94,-929.15 523.72,-903.18"/>
+<polygon fill="black" stroke="black" points="526.92,-904.65 529.12,-894.29 520.94,-901.02 526.92,-904.65"/>
+</g>
+<!-- u25 -->
+<g id="node29" class="node">
+<title>u25</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="620" cy="-877.04" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="620" y="-873.34" font-family="Times,serif" font-size="14.00">HLS</text>
 </g>
 <!-- u0&#45;&gt;u25 -->
-<g id="edge7" class="edge">
+<g id="edge5" class="edge">
 <title>u0&#45;&gt;u25</title>
-<path fill="none" stroke="black" d="M622.7,-965.95C661.77,-951.56 724.56,-921.94 754,-872.67 775.65,-836.44 773.28,-785.65 769.03,-754.79"/>
-<polygon fill="black" stroke="black" points="772.47,-754.12 767.49,-744.77 765.55,-755.19 772.47,-754.12"/>
+<path fill="none" stroke="black" d="M484.89,-993.83C510.23,-978.75 549.94,-953.36 580,-926.04 587.86,-918.89 595.57,-910.18 602.08,-902.15"/>
+<polygon fill="black" stroke="black" points="604.96,-904.15 608.4,-894.13 599.46,-899.83 604.96,-904.15"/>
 </g>
-<!-- u1&#45;&gt;u19 -->
+<!-- u26 -->
+<g id="node30" class="node">
+<title>u26</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="377" cy="-877.04" rx="36.29" ry="18"/>
+<text text-anchor="middle" x="377" y="-873.34" font-family="Times,serif" font-size="14.00">Stack</text>
+</g>
+<!-- u0&#45;&gt;u26 -->
+<g id="edge6" class="edge">
+<title>u0&#45;&gt;u26</title>
+<path fill="none" stroke="black" d="M449.32,-991.31C434.98,-968.85 409.41,-928.8 392.83,-902.84"/>
+<polygon fill="black" stroke="black" points="395.71,-900.84 387.38,-894.29 389.81,-904.6 395.71,-900.84"/>
+</g>
+<!-- u27 -->
+<g id="node31" class="node">
+<title>u27</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="460" cy="-877.04" rx="28.7" ry="18"/>
+<text text-anchor="middle" x="460" y="-873.34" font-family="Times,serif" font-size="14.00">List</text>
+</g>
+<!-- u0&#45;&gt;u27 -->
+<g id="edge7" class="edge">
+<title>u0&#45;&gt;u27</title>
+<path fill="none" stroke="black" d="M460,-990.77C460,-969.02 460,-931.36 460,-905.6"/>
+<polygon fill="black" stroke="black" points="463.5,-905.37 460,-895.37 456.5,-905.37 463.5,-905.37"/>
+</g>
+<!-- u1&#45;&gt;u23 -->
 <g id="edge8" class="edge">
-<title>u1&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M548.43,-836.68C551.42,-815.73 556.54,-779.86 560.09,-755.02"/>
-<polygon fill="black" stroke="black" points="563.6,-755.19 561.55,-744.8 556.67,-754.2 563.6,-755.19"/>
+<title>u1&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M314.9,-865.36C370.84,-844.64 489.16,-800.51 497,-795.04 506.26,-788.57 514.81,-779.64 521.75,-771.23"/>
+<polygon fill="black" stroke="black" points="524.7,-773.14 528.11,-763.11 519.19,-768.82 524.7,-773.14"/>
 </g>
 <!-- u3&#45;&gt;u4 -->
 <g id="edge9" class="edge">
 <title>u3&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M426.23,-327.85C537.33,-303.84 873.04,-231.31 993.98,-205.18"/>
-<polygon fill="black" stroke="black" points="994.96,-208.55 1004,-203.02 993.48,-201.71 994.96,-208.55"/>
+<path fill="none" stroke="black" d="M451.1,-328.52C434.5,-303.34 402.74,-255.21 383.36,-225.83"/>
+<polygon fill="black" stroke="black" points="386.2,-223.78 377.77,-217.36 380.36,-227.64 386.2,-223.78"/>
 </g>
-<!-- u18&#45;&gt;u3 -->
-<g id="edge10" class="edge">
-<title>u18&#45;&gt;u3</title>
-<path fill="none" stroke="black" d="M355.37,-513.55C361.99,-479.93 376.73,-405.06 384.68,-364.7"/>
-<polygon fill="black" stroke="black" points="388.14,-365.25 386.64,-354.76 381.27,-363.9 388.14,-365.25"/>
-</g>
-<!-- u20&#45;&gt;u21 -->
+<!-- u15&#45;&gt;u20 -->
 <g id="edge11" class="edge">
-<title>u20&#45;&gt;u21</title>
-<path fill="none" stroke="black" d="M704.03,-837.21C683.06,-798.45 629.7,-698.22 591,-611.67 583.26,-594.35 575.46,-574.46 569.62,-558.98"/>
-<polygon fill="black" stroke="black" points="572.86,-557.65 566.09,-549.51 566.3,-560.1 572.86,-557.65"/>
+<title>u15&#45;&gt;u20</title>
+<path fill="none" stroke="black" d="M1106.22,-728.21C1125.98,-689.79 1168.17,-593.22 1137,-520.04 1107.21,-450.08 1033.73,-394.77 990.42,-366.88"/>
+<polygon fill="black" stroke="black" points="992.25,-363.89 981.93,-361.51 988.51,-369.81 992.25,-363.89"/>
 </g>
-<!-- u20&#45;&gt;u19 -->
+<!-- u15&#45;&gt;u21 -->
 <g id="edge12" class="edge">
-<title>u20&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M690.9,-841.08C667.19,-826.95 629.13,-802.48 601,-775.67 593.62,-768.64 586.52,-760.05 580.55,-752.09"/>
-<polygon fill="black" stroke="black" points="583.25,-749.86 574.56,-743.81 577.58,-753.96 583.25,-749.86"/>
+<title>u15&#45;&gt;u21</title>
+<path fill="none" stroke="black" d="M1082.5,-728.68C1063.49,-706.61 1029.96,-665.48 1008,-626.04 998.71,-609.35 990.88,-589.31 985.41,-573.59"/>
+<polygon fill="black" stroke="black" points="988.68,-572.32 982.17,-563.96 982.05,-574.56 988.68,-572.32"/>
 </g>
-<!-- u22&#45;&gt;u19 -->
+<!-- u15&#45;&gt;u16 -->
+<g id="edge10" class="edge">
+<title>u15&#45;&gt;u16</title>
+<path fill="none" stroke="black" d="M1075.74,-729.5C1027.53,-694.28 909.88,-608.32 855.04,-568.25"/>
+<polygon fill="black" stroke="black" points="856.93,-565.3 846.79,-562.23 852.8,-570.95 856.93,-565.3"/>
+</g>
+<!-- u22&#45;&gt;u3 -->
 <g id="edge13" class="edge">
-<title>u22&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M623.11,-837.2C611.55,-815.79 591.25,-778.18 577.72,-753.09"/>
-<polygon fill="black" stroke="black" points="580.72,-751.29 572.89,-744.15 574.56,-754.61 580.72,-751.29"/>
+<title>u22&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M957.08,-730.89C949.51,-726.98 941.06,-723.01 933,-720.04 764.92,-658 670.23,-750.13 541,-626.04 469.68,-557.55 461.3,-429.93 461.26,-374.22"/>
+<polygon fill="black" stroke="black" points="464.76,-374.11 461.34,-364.08 457.76,-374.05 464.76,-374.11"/>
 </g>
-<!-- u23&#45;&gt;u19 -->
+<!-- u24&#45;&gt;u23 -->
 <g id="edge14" class="edge">
-<title>u23&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M406.01,-842.42C436.12,-829.11 485.37,-805.03 522,-775.67 530.68,-768.71 539.02,-759.82 545.95,-751.59"/>
-<polygon fill="black" stroke="black" points="548.79,-753.64 552.36,-743.66 543.35,-749.23 548.79,-753.64"/>
+<title>u24&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M539,-858.91C539,-837.32 539,-799.95 539,-774.39"/>
+<polygon fill="black" stroke="black" points="542.5,-774.24 539,-764.24 535.5,-774.24 542.5,-774.24"/>
 </g>
-<!-- u24&#45;&gt;u19 -->
+<!-- u25&#45;&gt;u23 -->
 <g id="edge15" class="edge">
-<title>u24&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M474.51,-838.22C492,-816.61 523.94,-777.16 544.55,-751.7"/>
-<polygon fill="black" stroke="black" points="547.5,-753.62 551.07,-743.65 542.06,-749.22 547.5,-753.62"/>
+<title>u25&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M609.91,-859.96C596.02,-837.85 570.9,-797.84 554.59,-771.86"/>
+<polygon fill="black" stroke="black" points="557.5,-769.92 549.22,-763.32 551.58,-773.65 557.5,-769.92"/>
 </g>
-<!-- u25&#45;&gt;u13 -->
+<!-- u26&#45;&gt;u23 -->
 <g id="edge16" class="edge">
-<title>u25&#45;&gt;u13</title>
-<path fill="none" stroke="black" d="M754.26,-708.88C734.61,-675.02 690.12,-598.36 666.83,-558.23"/>
-<polygon fill="black" stroke="black" points="669.85,-556.45 661.8,-549.56 663.79,-559.97 669.85,-556.45"/>
+<title>u26&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M399.92,-863.01C425.04,-848.19 465.9,-822.47 497,-795.04 505.22,-787.78 513.36,-778.96 520.26,-770.87"/>
+<polygon fill="black" stroke="black" points="523.01,-773.04 526.7,-763.11 517.62,-768.57 523.01,-773.04"/>
 </g>
-<!-- u25&#45;&gt;u17 -->
+<!-- u27&#45;&gt;u23 -->
 <g id="edge17" class="edge">
-<title>u25&#45;&gt;u17</title>
-<path fill="none" stroke="black" d="M764,-708.55C764,-675 764,-600.38 764,-559.96"/>
-<polygon fill="black" stroke="black" points="767.5,-559.76 764,-549.76 760.5,-559.76 767.5,-559.76"/>
-</g>
-<!-- u27&#45;&gt;u18 -->
-<g id="edge18" class="edge">
-<title>u27&#45;&gt;u18</title>
-<path fill="none" stroke="black" d="M99.78,-1082.7C136.79,-1002.01 295.03,-656.91 340.02,-558.79"/>
-<polygon fill="black" stroke="black" points="343.26,-560.13 344.25,-549.58 336.9,-557.21 343.26,-560.13"/>
+<title>u27&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M469.85,-859.96C483.39,-837.85 507.89,-797.84 523.79,-771.86"/>
+<polygon fill="black" stroke="black" points="526.79,-773.67 529.03,-763.32 520.82,-770.02 526.79,-773.67"/>
 </g>
 <!-- u29 -->
-<g id="node47" class="node">
+<g id="node32" class="node">
 <title>u29</title>
-<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="938" cy="-1527.67" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="938" y="-1523.97" font-family="Times,serif" font-size="14.00">Main</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1078" cy="-546.04" rx="50.09" ry="18"/>
+<text text-anchor="middle" x="1078" y="-542.34" font-family="Times,serif" font-size="14.00">Prompts</text>
 </g>
-<!-- u29&#45;&gt;u30 -->
+<!-- u29&#45;&gt;u18 -->
+<g id="edge18" class="edge">
+<title>u29&#45;&gt;u18</title>
+<path fill="none" stroke="black" d="M1046.17,-532.12C1036.49,-528.21 1025.82,-523.93 1016,-520.04 909.13,-477.65 865.61,-496.8 775,-426.04 756.67,-411.72 741.79,-389.8 731.99,-372.67"/>
+<polygon fill="black" stroke="black" points="734.96,-370.81 727.08,-363.74 728.83,-374.19 734.96,-370.81"/>
+</g>
+<!-- u30 -->
+<g id="node33" class="node">
+<title>u30</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1015" cy="-877.04" rx="76.09" ry="18"/>
+<text text-anchor="middle" x="1015" y="-873.34" font-family="Times,serif" font-size="14.00">Requirements</text>
+</g>
+<!-- u30&#45;&gt;u22 -->
+<g id="edge19" class="edge">
+<title>u30&#45;&gt;u22</title>
+<path fill="none" stroke="black" d="M1010.62,-858.91C1005.07,-837.22 995.45,-799.61 988.91,-774.05"/>
+<polygon fill="black" stroke="black" points="992.27,-773.06 986.4,-764.24 985.49,-774.79 992.27,-773.06"/>
+</g>
+<!-- u33 -->
+<g id="node34" class="node">
+<title>u33</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="1198" cy="-1009.04" rx="34.39" ry="18"/>
+<text text-anchor="middle" x="1198" y="-1005.34" font-family="Times,serif" font-size="14.00">Main</text>
+</g>
+<!-- u33&#45;&gt;u24 -->
 <g id="edge1" class="edge">
-<title>u29&#45;&gt;u30</title>
-<path fill="none" stroke="black" d="M938,-1509.51C938,-1478.37 938,-1412.33 938,-1374.96"/>
-<polygon fill="black" stroke="black" points="941.5,-1374.78 938,-1364.78 934.5,-1374.79 941.5,-1374.78"/>
+<title>u33&#45;&gt;u24</title>
+<path fill="none" stroke="black" d="M1173.88,-995.92C1169.36,-994.03 1164.6,-992.29 1160,-991.04 909.74,-922.81 809.14,-1047.6 580,-926.04 569.88,-920.66 561.18,-911.67 554.44,-902.91"/>
+<polygon fill="black" stroke="black" points="557.24,-900.82 548.59,-894.71 551.55,-904.88 557.24,-900.82"/>
+</g>
+<!-- u33&#45;&gt;u25 -->
+<g id="edge2" class="edge">
+<title>u33&#45;&gt;u25</title>
+<path fill="none" stroke="black" d="M1173.86,-995.98C1169.34,-994.09 1164.59,-992.33 1160,-991.04 943.03,-929.91 852.47,-1038.29 657,-926.04 647.56,-920.61 639.7,-911.73 633.69,-903.07"/>
+<polygon fill="black" stroke="black" points="636.64,-901.17 628.31,-894.62 630.73,-904.93 636.64,-901.17"/>
 </g>
 </g>
 </svg>
diff --git a/docs/modules_wide.svg b/docs/modules_wide.svg
index ba441d4..1a45c2d 100644
--- a/docs/modules_wide.svg
+++ b/docs/modules_wide.svg
@@ -1,788 +1,536 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 2.48.0 (0)
+<!-- Generated by graphviz version 5.0.0 (0)
  -->
 <!-- Title: G Pages: 1 -->
-<svg width="1077pt" height="648pt"
- viewBox="0.00 0.00 1076.70 648.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(0.62 0.62) rotate(0) translate(4 1043.2)">
+<svg width="1076pt" height="648pt"
+ viewBox="0.00 0.00 1075.76 648.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(0.867238 0.867238) rotate(0) translate(4 743.2)">
 <title>G</title>
-<polygon fill="white" stroke="transparent" points="-4,4 -4,-1043.2 1736,-1043.2 1736,4 -4,4"/>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-743.2 1236.45,-743.2 1236.45,4 -4,4"/>
 <g id="clust1" class="cluster">
 <title>cluster_0</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="8,-9.12 8,-989.06 1724,-989.06 1724,-9.12 8,-9.12"/>
-<text text-anchor="middle" x="866" y="-973.86" font-family="Times,serif" font-size="14.00">GHCup</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="8,-9.36 8,-729.84 1156,-729.84 1156,-9.36 8,-9.36"/>
+<text text-anchor="middle" x="582" y="-714.64" font-family="Times,serif" font-size="14.00">GHCup</text>
 </g>
 <g id="clust2" class="cluster">
 <title>cluster_1</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="1032,-324.75 1032,-540.11 1300,-540.11 1300,-324.75 1032,-324.75"/>
-<text text-anchor="middle" x="1166" y="-524.91" font-family="Times,serif" font-size="14.00">Download</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="661,-466.68 661,-642.12 929,-642.12 929,-466.68 661,-466.68"/>
+<text text-anchor="middle" x="795" y="-626.92" font-family="Times,serif" font-size="14.00">Download</text>
 </g>
 <g id="clust3" class="cluster">
 <title>cluster_2</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="176,-704.19 176,-953.74 1716,-953.74 1716,-704.19 176,-704.19"/>
-<text text-anchor="middle" x="946" y="-938.54" font-family="Times,serif" font-size="14.00">OptParse</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="545,-18.71 545,-457.32 1020,-457.32 1020,-18.71 545,-18.71"/>
+<text text-anchor="middle" x="782.5" y="-442.12" font-family="Times,serif" font-size="14.00">Prelude</text>
 </g>
 <g id="clust4" class="cluster">
 <title>cluster_3</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="439,-18.23 439,-445.53 972,-445.53 972,-18.23 439,-18.23"/>
-<text text-anchor="middle" x="705.5" y="-430.33" font-family="Times,serif" font-size="14.00">Prelude</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="558,-102.93 558,-190.65 735,-190.65 735,-102.93 558,-102.93"/>
+<text text-anchor="middle" x="646.5" y="-175.45" font-family="Times,serif" font-size="14.00">File</text>
 </g>
 <g id="clust5" class="cluster">
 <title>cluster_4</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="479,-100.27 479,-185.73 656,-185.73 656,-100.27 479,-100.27"/>
-<text text-anchor="middle" x="567.5" y="-170.53" font-family="Times,serif" font-size="14.00">File</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="553,-200.01 553,-287.73 771,-287.73 771,-200.01 553,-200.01"/>
+<text text-anchor="middle" x="662" y="-272.53" font-family="Times,serif" font-size="14.00">Logger</text>
 </g>
 <g id="clust6" class="cluster">
 <title>cluster_5</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="583,-194.85 583,-280.31 801,-280.31 801,-194.85 583,-194.85"/>
-<text text-anchor="middle" x="692" y="-265.11" font-family="Times,serif" font-size="14.00">Logger</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="779,-200.01 779,-287.73 1012,-287.73 1012,-200.01 779,-200.01"/>
+<text text-anchor="middle" x="895.5" y="-272.53" font-family="Times,serif" font-size="14.00">Process</text>
 </g>
 <g id="clust7" class="cluster">
 <title>cluster_6</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="447,-324.75 447,-410.21 517,-410.21 517,-324.75 447,-324.75"/>
-<text text-anchor="middle" x="482" y="-395.01" font-family="Times,serif" font-size="14.00">String</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="699,-333.34 699,-421.06 769,-421.06 769,-333.34 699,-333.34"/>
+<text text-anchor="middle" x="734" y="-405.86" font-family="Times,serif" font-size="14.00">String</text>
 </g>
 <g id="clust8" class="cluster">
 <title>cluster_7</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="525,-324.75 525,-410.21 595,-410.21 595,-324.75 525,-324.75"/>
-<text text-anchor="middle" x="560" y="-395.01" font-family="Times,serif" font-size="14.00">Version</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="942,-333.34 942,-421.06 1012,-421.06 1012,-333.34 942,-333.34"/>
+<text text-anchor="middle" x="977" y="-405.86" font-family="Times,serif" font-size="14.00">Version</text>
 </g>
 <g id="clust9" class="cluster">
 <title>cluster_8</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="992,-91.16 992,-315.63 1186,-315.63 1186,-91.16 992,-91.16"/>
-<text text-anchor="middle" x="1089" y="-300.43" font-family="Times,serif" font-size="14.00">Types</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="16,-93.57 16,-323.98 413,-323.98 413,-93.57 16,-93.57"/>
+<text text-anchor="middle" x="214.5" y="-308.78" font-family="Times,serif" font-size="14.00">Types</text>
 </g>
 <g id="clust10" class="cluster">
 <title>cluster_9</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="1090,-100.27 1090,-280.31 1178,-280.31 1178,-100.27 1090,-100.27"/>
-<text text-anchor="middle" x="1134" y="-265.11" font-family="Times,serif" font-size="14.00">JSON</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="24,-102.93 24,-287.73 230,-287.73 230,-102.93 24,-102.93"/>
+<text text-anchor="middle" x="127" y="-272.53" font-family="Times,serif" font-size="14.00">JSON</text>
 </g>
 <g id="clust11" class="cluster">
 <title>cluster_10</title>
-<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="443,-454.65 443,-540.11 605,-540.11 605,-454.65 443,-454.65"/>
-<text text-anchor="middle" x="524" y="-524.91" font-family="Times,serif" font-size="14.00">Utils</text>
+<polygon fill="#000000" fill-opacity="0.058824" stroke="#000000" stroke-opacity="0.058824" points="418,-466.68 418,-554.4 580,-554.4 580,-466.68 418,-466.68"/>
+<text text-anchor="middle" x="499" y="-539.2" font-family="Times,serif" font-size="14.00">Utils</text>
 </g>
 <!-- u2 -->
 <g id="node1" class="node">
 <title>u2</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="1097" cy="-484.12" rx="56.59" ry="18"/>
-<text text-anchor="middle" x="1097" y="-480.42" font-family="Times,serif" font-size="14.00">Download</text>
-</g>
-<!-- u13 -->
-<g id="node27" class="node">
-<title>u13</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="652" cy="-354.12" rx="46.59" ry="18"/>
-<text text-anchor="middle" x="652" y="-350.42" font-family="Times,serif" font-size="14.00">Prelude</text>
-</g>
-<!-- u2&#45;&gt;u13 -->
-<g id="edge20" class="edge">
-<title>u2&#45;&gt;u13</title>
-<path fill="none" stroke="black" d="M1067.21,-468.71C1057.48,-464.6 1046.47,-460.58 1036,-458.12 964.86,-441.38 771.65,-470.02 708,-434.12 687.37,-422.48 672.48,-399.72 663.27,-381.6"/>
-<polygon fill="black" stroke="black" points="666.2,-379.63 658.73,-372.12 659.89,-382.65 666.2,-379.63"/>
-</g>
-<!-- u17 -->
-<g id="node30" class="node">
-<title>u17</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="764" cy="-354.12" rx="46.59" ry="18"/>
-<text text-anchor="middle" x="764" y="-350.42" font-family="Times,serif" font-size="14.00">Process</text>
-</g>
-<!-- u2&#45;&gt;u17 -->
-<g id="edge21" class="edge">
-<title>u2&#45;&gt;u17</title>
-<path fill="none" stroke="black" d="M1066.85,-468.81C1057.18,-464.76 1046.31,-460.74 1036,-458.12 941.97,-434.15 902.41,-483.7 819,-434.12 798.76,-422.08 784.14,-399.36 775.08,-381.36"/>
-<polygon fill="black" stroke="black" points="778.07,-379.49 770.62,-371.95 771.74,-382.49 778.07,-379.49"/>
-</g>
-<!-- u18 -->
-<g id="node40" class="node">
-<title>u18</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="352" cy="-354.12" rx="45.49" ry="18"/>
-<text text-anchor="middle" x="352" y="-350.42" font-family="Times,serif" font-size="14.00">Version</text>
-</g>
-<!-- u2&#45;&gt;u18 -->
-<g id="edge19" class="edge">
-<title>u2&#45;&gt;u18</title>
-<path fill="none" stroke="black" d="M1067.57,-468.64C1057.76,-464.47 1046.62,-460.43 1036,-458.12 907.14,-430.02 565.59,-482.75 443,-434.12 414.07,-422.64 388.04,-397.83 371.3,-379.05"/>
-<polygon fill="black" stroke="black" points="373.9,-376.71 364.72,-371.43 368.61,-381.29 373.9,-376.71"/>
-</g>
-<!-- u26 -->
-<g id="node2" class="node">
-<title>u26</title>
-<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="1153" cy="-354.12" rx="33.29" ry="18"/>
-<text text-anchor="middle" x="1153" y="-350.42" font-family="Times,serif" font-size="14.00">Utils</text>
-</g>
-<!-- u26&#45;&gt;u13 -->
-<g id="edge22" class="edge">
-<title>u26&#45;&gt;u13</title>
-<path fill="none" stroke="black" d="M1137.02,-370.02C1113.54,-392.13 1067.24,-431.15 1019,-446.12 986.95,-456.06 747.01,-461.12 717,-446.12 690.64,-432.94 672.79,-403.39 662.57,-381.32"/>
-<polygon fill="black" stroke="black" points="665.74,-379.84 658.52,-372.09 659.33,-382.65 665.74,-379.84"/>
-</g>
-<!-- u28 -->
-<g id="node3" class="node">
-<title>u28</title>
-<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="1232" cy="-484.12" rx="60.39" ry="18"/>
-<text text-anchor="middle" x="1232" y="-480.42" font-family="Times,serif" font-size="14.00">IOStreams</text>
-</g>
-<!-- u28&#45;&gt;u26 -->
-<g id="edge23" class="edge">
-<title>u28&#45;&gt;u26</title>
-<path fill="none" stroke="black" d="M1221.51,-466.12C1207.9,-444.07 1184.06,-405.44 1168.4,-380.07"/>
-<polygon fill="black" stroke="black" points="1171.26,-378.05 1163.03,-371.37 1165.31,-381.72 1171.26,-378.05"/>
-</g>
-<!-- u30 -->
-<g id="node4" class="node">
-<title>u30</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="938" cy="-898.12" rx="53.89" ry="18"/>
-<text text-anchor="middle" x="938" y="-894.42" font-family="Times,serif" font-size="14.00">OptParse</text>
-</g>
-<!-- u32 -->
-<g id="node6" class="node">
-<title>u32</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="781" cy="-816.12" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="781" y="-812.42" font-family="Times,serif" font-size="14.00">Install</text>
-</g>
-<!-- u30&#45;&gt;u32 -->
-<g id="edge24" class="edge">
-<title>u30&#45;&gt;u32</title>
-<path fill="none" stroke="black" d="M909.57,-882.63C883.21,-869.2 843.93,-849.18 815.73,-834.81"/>
-<polygon fill="black" stroke="black" points="817.12,-831.59 806.62,-830.17 813.94,-837.83 817.12,-831.59"/>
-</g>
-<!-- u33 -->
-<g id="node7" class="node">
-<title>u33</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="866" cy="-816.12" rx="27" ry="18"/>
-<text text-anchor="middle" x="866" y="-812.42" font-family="Times,serif" font-size="14.00">Set</text>
-</g>
-<!-- u30&#45;&gt;u33 -->
-<g id="edge25" class="edge">
-<title>u30&#45;&gt;u33</title>
-<path fill="none" stroke="black" d="M923.08,-880.54C912.44,-868.71 898,-852.67 886.31,-839.68"/>
-<polygon fill="black" stroke="black" points="888.73,-837.14 879.44,-832.05 883.53,-841.83 888.73,-837.14"/>
-</g>
-<!-- u34 -->
-<g id="node8" class="node">
-<title>u34</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="682" cy="-816.12" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="682" y="-812.42" font-family="Times,serif" font-size="14.00">UnSet</text>
-</g>
-<!-- u30&#45;&gt;u34 -->
-<g id="edge26" class="edge">
-<title>u30&#45;&gt;u34</title>
-<path fill="none" stroke="black" d="M898.78,-885.51C857.25,-873.14 789.83,-852.79 732,-834.12 728.9,-833.12 725.7,-832.07 722.49,-831"/>
-<polygon fill="black" stroke="black" points="723.48,-827.64 712.89,-827.79 721.26,-834.28 723.48,-827.64"/>
-</g>
-<!-- u35 -->
-<g id="node9" class="node">
-<title>u35</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="938" cy="-816.12" rx="27" ry="18"/>
-<text text-anchor="middle" x="938" y="-812.42" font-family="Times,serif" font-size="14.00">Rm</text>
-</g>
-<!-- u30&#45;&gt;u35 -->
-<g id="edge27" class="edge">
-<title>u30&#45;&gt;u35</title>
-<path fill="none" stroke="black" d="M938,-879.76C938,-869.41 938,-856.06 938,-844.34"/>
-<polygon fill="black" stroke="black" points="941.5,-844.17 938,-834.17 934.5,-844.17 941.5,-844.17"/>
-</g>
-<!-- u36 -->
-<g id="node10" class="node">
-<title>u36</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1012" cy="-816.12" rx="29.5" ry="18"/>
-<text text-anchor="middle" x="1012" y="-812.42" font-family="Times,serif" font-size="14.00">Run</text>
-</g>
-<!-- u30&#45;&gt;u36 -->
-<g id="edge28" class="edge">
-<title>u30&#45;&gt;u36</title>
-<path fill="none" stroke="black" d="M953.33,-880.54C964.27,-868.71 979.11,-852.67 991.13,-839.68"/>
-<polygon fill="black" stroke="black" points="993.96,-841.77 998.18,-832.05 988.82,-837.02 993.96,-841.77"/>
-</g>
-<!-- u37 -->
-<g id="node11" class="node">
-<title>u37</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1108" cy="-816.12" rx="48.99" ry="18"/>
-<text text-anchor="middle" x="1108" y="-812.42" font-family="Times,serif" font-size="14.00">Compile</text>
-</g>
-<!-- u30&#45;&gt;u37 -->
-<g id="edge29" class="edge">
-<title>u30&#45;&gt;u37</title>
-<path fill="none" stroke="black" d="M968,-883C996.42,-869.62 1039.22,-849.48 1070.01,-834.99"/>
-<polygon fill="black" stroke="black" points="1071.59,-838.12 1079.15,-830.69 1068.61,-831.78 1071.59,-838.12"/>
-</g>
-<!-- u38 -->
-<g id="node12" class="node">
-<title>u38</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1215" cy="-816.12" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="1215" y="-812.42" font-family="Times,serif" font-size="14.00">Config</text>
-</g>
-<!-- u30&#45;&gt;u38 -->
-<g id="edge30" class="edge">
-<title>u30&#45;&gt;u38</title>
-<path fill="none" stroke="black" d="M979.42,-886.53C1025.29,-874.6 1101.3,-854.25 1166,-834.12 1168.92,-833.21 1171.92,-832.24 1174.93,-831.25"/>
-<polygon fill="black" stroke="black" points="1176.15,-834.53 1184.52,-828.03 1173.92,-827.9 1176.15,-834.53"/>
-</g>
-<!-- u39 -->
-<g id="node13" class="node">
-<title>u39</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1322" cy="-816.12" rx="48.99" ry="18"/>
-<text text-anchor="middle" x="1322" y="-812.42" font-family="Times,serif" font-size="14.00">Whereis</text>
-</g>
-<!-- u30&#45;&gt;u39 -->
-<g id="edge31" class="edge">
-<title>u30&#45;&gt;u39</title>
-<path fill="none" stroke="black" d="M985.27,-889.42C1048.96,-878.72 1165.69,-857.97 1264,-834.12 1267.9,-833.17 1271.94,-832.12 1275.97,-831.03"/>
-<polygon fill="black" stroke="black" points="1277.25,-834.31 1285.94,-828.26 1275.37,-827.57 1277.25,-834.31"/>
-</g>
-<!-- u40 -->
-<g id="node14" class="node">
-<title>u40</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1417" cy="-816.12" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="1417" y="-812.42" font-family="Times,serif" font-size="14.00">List</text>
-</g>
-<!-- u30&#45;&gt;u40 -->
-<g id="edge32" class="edge">
-<title>u30&#45;&gt;u40</title>
-<path fill="none" stroke="black" d="M991.1,-894.5C1075.16,-889.26 1243.36,-874.32 1380,-834.12 1381.93,-833.55 1383.89,-832.89 1385.85,-832.18"/>
-<polygon fill="black" stroke="black" points="1387.55,-835.27 1395.49,-828.26 1384.91,-828.79 1387.55,-835.27"/>
-</g>
-<!-- u41 -->
-<g id="node15" class="node">
-<title>u41</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1527" cy="-816.12" rx="63.09" ry="18"/>
-<text text-anchor="middle" x="1527" y="-812.42" font-family="Times,serif" font-size="14.00">ChangeLog</text>
-</g>
-<!-- u30&#45;&gt;u41 -->
-<g id="edge33" class="edge">
-<title>u30&#45;&gt;u41</title>
-<path fill="none" stroke="black" d="M989.65,-892.73C1083.01,-884.38 1285.87,-864.29 1455,-834.12 1460.37,-833.16 1465.95,-832.05 1471.51,-830.87"/>
-<polygon fill="black" stroke="black" points="1472.44,-834.24 1481.45,-828.67 1470.93,-827.41 1472.44,-834.24"/>
-</g>
-<!-- u42 -->
-<g id="node16" class="node">
-<title>u42</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1658" cy="-816.12" rx="50.09" ry="18"/>
-<text text-anchor="middle" x="1658" y="-812.42" font-family="Times,serif" font-size="14.00">Prefetch</text>
-</g>
-<!-- u30&#45;&gt;u42 -->
-<g id="edge34" class="edge">
-<title>u30&#45;&gt;u42</title>
-<path fill="none" stroke="black" d="M991.59,-895.37C1104.73,-890.96 1375.9,-876.51 1599,-834.12 1603.18,-833.32 1607.5,-832.36 1611.8,-831.31"/>
-<polygon fill="black" stroke="black" points="1612.96,-834.62 1621.75,-828.7 1611.19,-827.85 1612.96,-834.62"/>
-</g>
-<!-- u43 -->
-<g id="node17" class="node">
-<title>u43</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="211" cy="-816.12" rx="27" ry="18"/>
-<text text-anchor="middle" x="211" y="-812.42" font-family="Times,serif" font-size="14.00">GC</text>
-</g>
-<!-- u30&#45;&gt;u43 -->
-<g id="edge35" class="edge">
-<title>u30&#45;&gt;u43</title>
-<path fill="none" stroke="black" d="M884.97,-894.68C744.84,-887.86 367.29,-866.9 247,-834.12 245.05,-833.58 243.07,-832.95 241.11,-832.25"/>
-<polygon fill="black" stroke="black" points="242.05,-828.85 231.47,-828.29 239.38,-835.33 242.05,-828.85"/>
-</g>
-<!-- u44 -->
-<g id="node18" class="node">
-<title>u44</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="292" cy="-816.12" rx="36.29" ry="18"/>
-<text text-anchor="middle" x="292" y="-812.42" font-family="Times,serif" font-size="14.00">DInfo</text>
-</g>
-<!-- u30&#45;&gt;u44 -->
-<g id="edge36" class="edge">
-<title>u30&#45;&gt;u44</title>
-<path fill="none" stroke="black" d="M884.17,-896.08C778.07,-893.04 535.04,-881.08 337,-834.12 334.18,-833.45 331.3,-832.65 328.43,-831.77"/>
-<polygon fill="black" stroke="black" points="329.37,-828.39 318.78,-828.51 327.13,-835.02 329.37,-828.39"/>
-</g>
-<!-- u45 -->
-<g id="node19" class="node">
-<title>u45</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="441" cy="-816.12" rx="94.78" ry="18"/>
-<text text-anchor="middle" x="441" y="-812.42" font-family="Times,serif" font-size="14.00">ToolRequirements</text>
-</g>
-<!-- u30&#45;&gt;u45 -->
-<g id="edge37" class="edge">
-<title>u30&#45;&gt;u45</title>
-<path fill="none" stroke="black" d="M890.5,-889.55C816.61,-877.77 669.66,-854.3 545,-834.12 537.04,-832.83 528.74,-831.48 520.45,-830.13"/>
-<polygon fill="black" stroke="black" points="520.8,-826.64 510.36,-828.48 519.67,-833.55 520.8,-826.64"/>
-</g>
-<!-- u46 -->
-<g id="node20" class="node">
-<title>u46</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="589" cy="-816.12" rx="35.19" ry="18"/>
-<text text-anchor="middle" x="589" y="-812.42" font-family="Times,serif" font-size="14.00">Nuke</text>
-</g>
-<!-- u30&#45;&gt;u46 -->
-<g id="edge38" class="edge">
-<title>u30&#45;&gt;u46</title>
-<path fill="none" stroke="black" d="M890.12,-889.74C829.54,-879.84 722.35,-860.41 633,-834.12 630.37,-833.34 627.67,-832.48 624.97,-831.56"/>
-<polygon fill="black" stroke="black" points="625.88,-828.17 615.28,-828.08 623.51,-834.76 625.88,-828.17"/>
-</g>
-<!-- u31 -->
-<g id="node5" class="node">
-<title>u31</title>
-<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="1012" cy="-734.12" rx="51.99" ry="18"/>
-<text text-anchor="middle" x="1012" y="-730.42" font-family="Times,serif" font-size="14.00">Common</text>
-</g>
-<!-- u0 -->
-<g id="node37" class="node">
-<title>u0</title>
-<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="589" cy="-652.12" rx="44.39" ry="18"/>
-<text text-anchor="middle" x="589" y="-648.42" font-family="Times,serif" font-size="14.00">GHCup</text>
-</g>
-<!-- u31&#45;&gt;u0 -->
-<g id="edge39" class="edge">
-<title>u31&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M984.07,-718.86C975.28,-714.86 965.4,-710.86 956,-708.12 847.4,-676.38 715.09,-662.3 642.71,-656.59"/>
-<polygon fill="black" stroke="black" points="642.71,-653.08 632.48,-655.81 642.18,-660.06 642.71,-653.08"/>
-</g>
-<!-- u32&#45;&gt;u31 -->
-<g id="edge40" class="edge">
-<title>u32&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M811.84,-804.41C817.86,-802.32 824.13,-800.15 830,-798.12 876.69,-781.93 930.13,-763.44 966.97,-750.69"/>
-<polygon fill="black" stroke="black" points="968.12,-754 976.43,-747.42 965.83,-747.38 968.12,-754"/>
-</g>
-<!-- u33&#45;&gt;u31 -->
-<g id="edge41" class="edge">
-<title>u33&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M886.3,-803.99C909.63,-791.21 948.34,-770 976.65,-754.49"/>
-<polygon fill="black" stroke="black" points="978.36,-757.54 985.44,-749.67 974.99,-751.4 978.36,-757.54"/>
-</g>
-<!-- u34&#45;&gt;u0 -->
-<g id="edge42" class="edge">
-<title>u34&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M672.4,-798.39C656.11,-770.01 622.96,-712.27 603.72,-678.76"/>
-<polygon fill="black" stroke="black" points="606.7,-676.92 598.69,-669.99 600.63,-680.41 606.7,-676.92"/>
-</g>
-<!-- u35&#45;&gt;u31 -->
-<g id="edge43" class="edge">
-<title>u35&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M951.57,-800.44C962.25,-788.9 977.34,-772.59 989.77,-759.15"/>
-<polygon fill="black" stroke="black" points="992.5,-761.35 996.73,-751.63 987.37,-756.59 992.5,-761.35"/>
-</g>
-<!-- u36&#45;&gt;u31 -->
-<g id="edge44" class="edge">
-<title>u36&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1012,-797.76C1012,-787.41 1012,-774.06 1012,-762.34"/>
-<polygon fill="black" stroke="black" points="1015.5,-762.17 1012,-752.17 1008.5,-762.17 1015.5,-762.17"/>
-</g>
-<!-- u37&#45;&gt;u31 -->
-<g id="edge45" class="edge">
-<title>u37&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1089.03,-799.31C1074.7,-787.37 1054.84,-770.81 1038.87,-757.51"/>
-<polygon fill="black" stroke="black" points="1040.85,-754.6 1030.93,-750.89 1036.37,-759.98 1040.85,-754.6"/>
-</g>
-<!-- u38&#45;&gt;u31 -->
-<g id="edge46" class="edge">
-<title>u38&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1185.92,-803.65C1151.55,-790.11 1094.08,-767.46 1054.68,-751.93"/>
-<polygon fill="black" stroke="black" points="1055.66,-748.56 1045.07,-748.15 1053.09,-755.07 1055.66,-748.56"/>
-</g>
-<!-- u39&#45;&gt;u31 -->
-<g id="edge47" class="edge">
-<title>u39&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1285.24,-804.1C1278.21,-802.06 1270.89,-799.98 1264,-798.12 1194.84,-779.34 1114.44,-759.6 1063.41,-747.33"/>
-<polygon fill="black" stroke="black" points="1064.14,-743.91 1053.6,-744.97 1062.51,-750.71 1064.14,-743.91"/>
-</g>
-<!-- u40&#45;&gt;u31 -->
-<g id="edge48" class="edge">
-<title>u40&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1395.46,-804.08C1390.48,-801.85 1385.13,-799.7 1380,-798.12 1274.14,-765.36 1145.55,-748.25 1071.8,-740.51"/>
-<polygon fill="black" stroke="black" points="1072.07,-737.02 1061.77,-739.48 1071.36,-743.98 1072.07,-737.02"/>
-</g>
-<!-- u41&#45;&gt;u31 -->
-<g id="edge49" class="edge">
-<title>u41&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1481.04,-803.61C1472.42,-801.64 1463.46,-799.71 1455,-798.12 1318.2,-772.29 1155.83,-751.75 1070.73,-741.75"/>
-<polygon fill="black" stroke="black" points="1071.08,-738.27 1060.75,-740.58 1070.27,-745.22 1071.08,-738.27"/>
-</g>
-<!-- u42&#45;&gt;u31 -->
-<g id="edge50" class="edge">
-<title>u42&#45;&gt;u31</title>
-<path fill="none" stroke="black" d="M1621.73,-803.6C1614.27,-801.53 1606.43,-799.57 1599,-798.12 1409.25,-760.89 1180.36,-744.32 1073.09,-738.17"/>
-<polygon fill="black" stroke="black" points="1073.27,-734.68 1063.09,-737.61 1072.88,-741.67 1073.27,-734.68"/>
-</g>
-<!-- u43&#45;&gt;u0 -->
-<g id="edge51" class="edge">
-<title>u43&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M230.04,-803.16C264.62,-781.82 340.51,-736.75 409,-708.12 452.95,-689.74 505.22,-674.46 542.08,-664.7"/>
-<polygon fill="black" stroke="black" points="543.26,-668.01 552.05,-662.1 541.49,-661.24 543.26,-668.01"/>
-</g>
-<!-- u44&#45;&gt;u0 -->
-<g id="edge52" class="edge">
-<title>u44&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M315.55,-802.27C367.75,-773.8 493.37,-705.28 554.47,-671.95"/>
-<polygon fill="black" stroke="black" points="556.25,-674.97 563.35,-667.11 552.89,-668.82 556.25,-674.97"/>
-</g>
-<!-- u25 -->
-<g id="node45" class="node">
-<title>u25</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="764" cy="-484.12" rx="51.19" ry="18"/>
-<text text-anchor="middle" x="764" y="-480.42" font-family="Times,serif" font-size="14.00">Platform</text>
-</g>
-<!-- u45&#45;&gt;u25 -->
-<g id="edge53" class="edge">
-<title>u45&#45;&gt;u25</title>
-<path fill="none" stroke="black" d="M508.31,-803.36C520.5,-801.44 533.11,-799.6 545,-798.12 603.43,-790.81 1033.21,-795.53 1073,-752.12 1170.68,-645.56 916.77,-539.37 809.35,-500.56"/>
-<polygon fill="black" stroke="black" points="810.32,-497.19 799.73,-497.12 807.97,-503.78 810.32,-497.19"/>
-</g>
-<!-- u27 -->
-<g id="node46" class="node">
-<title>u27</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="92" cy="-734.12" rx="76.09" ry="18"/>
-<text text-anchor="middle" x="92" y="-730.42" font-family="Times,serif" font-size="14.00">Requirements</text>
-</g>
-<!-- u45&#45;&gt;u27 -->
-<g id="edge54" class="edge">
-<title>u45&#45;&gt;u27</title>
-<path fill="none" stroke="black" d="M382.98,-801.82C319.96,-787.37 219.65,-764.38 154.82,-749.52"/>
-<polygon fill="black" stroke="black" points="155.26,-746.03 144.73,-747.2 153.69,-752.85 155.26,-746.03"/>
-</g>
-<!-- u46&#45;&gt;u0 -->
-<g id="edge55" class="edge">
-<title>u46&#45;&gt;u0</title>
-<path fill="none" stroke="black" d="M589,-798.09C589,-770.08 589,-714.08 589,-680.47"/>
-<polygon fill="black" stroke="black" points="592.5,-680.41 589,-670.41 585.5,-680.41 592.5,-680.41"/>
-</g>
-<!-- u16 -->
-<g id="node21" class="node">
-<title>u16</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="619" cy="-130.12" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="619" y="-126.42" font-family="Times,serif" font-size="14.00">File</text>
-</g>
-<!-- u14 -->
-<g id="node29" class="node">
-<title>u14</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="619" cy="-48.12" rx="48.19" ry="18"/>
-<text text-anchor="middle" x="619" y="-44.42" font-family="Times,serif" font-size="14.00">Internal</text>
-</g>
-<!-- u16&#45;&gt;u14 -->
-<g id="edge59" class="edge">
-<title>u16&#45;&gt;u14</title>
-<path fill="none" stroke="black" d="M619,-111.76C619,-101.41 619,-88.06 619,-76.34"/>
-<polygon fill="black" stroke="black" points="622.5,-76.17 619,-66.17 615.5,-76.17 622.5,-76.17"/>
-</g>
-<!-- u3 -->
-<g id="node39" class="node">
-<title>u3</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="390" cy="-224.12" rx="40.89" ry="18"/>
-<text text-anchor="middle" x="390" y="-220.42" font-family="Times,serif" font-size="14.00">Errors</text>
-</g>
-<!-- u16&#45;&gt;u3 -->
-<g id="edge58" class="edge">
-<title>u16&#45;&gt;u3</title>
-<path fill="none" stroke="black" d="M610.46,-147.32C604.02,-157.95 594.23,-171.28 582,-179.12 539.39,-206.41 481.9,-216.85 440.96,-220.8"/>
-<polygon fill="black" stroke="black" points="440.59,-217.32 430.93,-221.67 441.19,-224.3 440.59,-217.32"/>
-</g>
-<!-- u10 -->
-<g id="node22" class="node">
-<title>u10</title>
-<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="530" cy="-130.12" rx="42.79" ry="18"/>
-<text text-anchor="middle" x="530" y="-126.42" font-family="Times,serif" font-size="14.00">Search</text>
-</g>
-<!-- u4 -->
-<g id="node33" class="node">
-<title>u4</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="1038" cy="-130.12" rx="38.19" ry="18"/>
-<text text-anchor="middle" x="1038" y="-126.42" font-family="Times,serif" font-size="14.00">Types</text>
-</g>
-<!-- u10&#45;&gt;u4 -->
-<g id="edge60" class="edge">
-<title>u10&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M541.94,-147.67C552.66,-161.72 569.79,-180.39 590,-188.62 615.11,-198.83 623.97,-190.65 651,-188.62 775.48,-179.26 920.61,-153.2 992.63,-139.24"/>
-<polygon fill="black" stroke="black" points="993.58,-142.62 1002.72,-137.27 992.23,-135.75 993.58,-142.62"/>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="864" cy="-584.36" rx="56.59" ry="18"/>
+<text text-anchor="middle" x="864" y="-580.66" font-family="Times,serif" font-size="14.00">Download</text>
 </g>
 <!-- u15 -->
-<g id="node23" class="node">
-<title>u15</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="2" cx="635" cy="-224.12" rx="43.59" ry="18"/>
-<text text-anchor="middle" x="635" y="-220.42" font-family="Times,serif" font-size="14.00">Logger</text>
-</g>
-<!-- u15&#45;&gt;u16 -->
-<g id="edge61" class="edge">
-<title>u15&#45;&gt;u16</title>
-<path fill="none" stroke="black" d="M631.99,-205.81C629.65,-192.36 626.37,-173.47 623.68,-158.04"/>
-<polygon fill="black" stroke="black" points="627.1,-157.28 621.94,-148.03 620.21,-158.48 627.1,-157.28"/>
-</g>
-<!-- u12 -->
-<g id="node24" class="node">
-<title>u12</title>
-<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="745" cy="-224.12" rx="48.19" ry="18"/>
-<text text-anchor="middle" x="745" y="-220.42" font-family="Times,serif" font-size="14.00">Internal</text>
-</g>
-<!-- u12&#45;&gt;u4 -->
-<g id="edge62" class="edge">
-<title>u12&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M771.86,-209.09C779.83,-205.23 788.66,-201.25 797,-198.12 864.17,-172.86 945.04,-152.29 993.94,-140.88"/>
-<polygon fill="black" stroke="black" points="994.91,-144.25 1003.87,-138.59 993.34,-137.43 994.91,-144.25"/>
-</g>
-<!-- u11 -->
-<g id="node25" class="node">
-<title>u11</title>
-<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="482" cy="-354.12" rx="27" ry="18"/>
-<text text-anchor="middle" x="482" y="-350.42" font-family="Times,serif" font-size="14.00">QQ</text>
-</g>
-<!-- u21 -->
 <g id="node26" class="node">
-<title>u21</title>
-<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="560" cy="-354.12" rx="27" ry="18"/>
-<text text-anchor="middle" x="560" y="-350.42" font-family="Times,serif" font-size="14.00">QQ</text>
+<title>u15</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1097" cy="-497.36" rx="51.19" ry="18"/>
+<text text-anchor="middle" x="1097" y="-493.66" font-family="Times,serif" font-size="14.00">Platform</text>
 </g>
-<!-- u13&#45;&gt;u15 -->
-<g id="edge56" class="edge">
-<title>u13&#45;&gt;u15</title>
-<path fill="none" stroke="black" d="M649.74,-336.12C646.9,-314.7 641.97,-277.62 638.6,-252.26"/>
-<polygon fill="black" stroke="black" points="642.05,-251.64 637.27,-242.18 635.11,-252.56 642.05,-251.64"/>
-</g>
-<!-- u8 -->
-<g id="node28" class="node">
-<title>u8</title>
-<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="896" cy="-354.12" rx="67.69" ry="18"/>
-<text text-anchor="middle" x="896" y="-350.42" font-family="Times,serif" font-size="14.00">MegaParsec</text>
-</g>
-<!-- u8&#45;&gt;u4 -->
-<g id="edge57" class="edge">
-<title>u8&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M903.02,-335.98C915.49,-306.47 943.31,-244.73 976,-198.12 987.15,-182.21 1001.84,-166.18 1014.12,-153.79"/>
-<polygon fill="black" stroke="black" points="1016.76,-156.1 1021.4,-146.57 1011.83,-151.13 1016.76,-156.1"/>
-</g>
-<!-- u6 -->
-<g id="node31" class="node">
-<title>u6</title>
-<ellipse fill="#ff7777" stroke="black" stroke-width="2" cx="1134" cy="-224.12" rx="36" ry="18"/>
-<text text-anchor="middle" x="1134" y="-220.42" font-family="Times,serif" font-size="14.00">JSON</text>
-</g>
-<!-- u6&#45;&gt;u8 -->
-<g id="edge65" class="edge">
-<title>u6&#45;&gt;u8</title>
-<path fill="none" stroke="black" d="M1129.86,-242.31C1124.59,-260.41 1113.72,-288.41 1094,-304.12 1083.21,-312.71 1012.21,-328.99 958.29,-340.42"/>
-<polygon fill="black" stroke="black" points="957.51,-337.01 948.44,-342.5 958.95,-343.86 957.51,-337.01"/>
-</g>
-<!-- u7 -->
-<g id="node32" class="node">
-<title>u7</title>
-<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="1134" cy="-130.12" rx="33.29" ry="18"/>
-<text text-anchor="middle" x="1134" y="-126.42" font-family="Times,serif" font-size="14.00">Utils</text>
-</g>
-<!-- u6&#45;&gt;u7 -->
-<g id="edge66" class="edge">
-<title>u6&#45;&gt;u7</title>
-<path fill="none" stroke="black" d="M1134,-205.81C1134,-192.58 1134,-174.06 1134,-158.78"/>
-<polygon fill="black" stroke="black" points="1137.5,-158.34 1134,-148.34 1130.5,-158.34 1137.5,-158.34"/>
-</g>
-<!-- u5 -->
-<g id="node36" class="node">
-<title>u5</title>
-<ellipse fill="#ff77ff" stroke="black" stroke-width="0" cx="482" cy="-484.12" rx="30.59" ry="18"/>
-<text text-anchor="middle" x="482" y="-480.42" font-family="Times,serif" font-size="14.00">Dirs</text>
-</g>
-<!-- u4&#45;&gt;u5 -->
-<g id="edge63" class="edge">
-<title>u4&#45;&gt;u5</title>
-<path fill="none" stroke="black" stroke-dasharray="5,2" d="M1023.23,-146.75C1012.19,-159.5 997.87,-178.54 991,-198.12 982.3,-222.91 994.68,-415.64 976,-434.12 940.09,-469.64 570.17,-442.91 522,-458.12 517.36,-459.58 512.73,-461.71 508.34,-464.12"/>
-<polygon fill="black" stroke="black" points="506.49,-461.14 499.76,-469.33 510.12,-467.13 506.49,-461.14"/>
-</g>
-<!-- u9 -->
-<g id="node34" class="node">
-<title>u9</title>
-<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="1040" cy="-224.12" rx="40.09" ry="18"/>
-<text text-anchor="middle" x="1040" y="-220.42" font-family="Times,serif" font-size="14.00">Optics</text>
-</g>
-<!-- u9&#45;&gt;u4 -->
-<g id="edge64" class="edge">
-<title>u9&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M1039.62,-205.81C1039.34,-192.58 1038.93,-174.06 1038.6,-158.78"/>
-<polygon fill="black" stroke="black" points="1042.09,-158.26 1038.37,-148.34 1035.09,-158.42 1042.09,-158.26"/>
-</g>
-<!-- u19 -->
-<g id="node35" class="node">
-<title>u19</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="564" cy="-484.12" rx="33.29" ry="18"/>
-<text text-anchor="middle" x="564" y="-480.42" font-family="Times,serif" font-size="14.00">Utils</text>
-</g>
-<!-- u19&#45;&gt;u2 -->
-<g id="edge67" class="edge">
-<title>u19&#45;&gt;u2</title>
-<path fill="none" stroke="black" d="M571.82,-501.68C579.29,-515.94 592.08,-534.91 610,-542.62 631.28,-551.77 1005.22,-550.52 1027,-542.62 1045.67,-535.84 1062.84,-521.67 1075.51,-508.97"/>
-<polygon fill="black" stroke="black" points="1078.05,-511.38 1082.42,-501.73 1072.98,-506.55 1078.05,-511.38"/>
-</g>
-<!-- u5&#45;&gt;u10 -->
-<g id="edge69" class="edge">
-<title>u5&#45;&gt;u10</title>
-<path fill="none" stroke="black" d="M452.05,-479.77C403.81,-473.7 312.34,-459.11 293,-434.12 228.81,-351.16 229.72,-281.77 293,-198.12 315.48,-168.4 417.21,-148.09 479.86,-138.15"/>
-<polygon fill="black" stroke="black" points="480.59,-141.58 489.94,-136.59 479.52,-134.66 480.59,-141.58"/>
-</g>
-<!-- u5&#45;&gt;u12 -->
-<g id="edge70" class="edge">
-<title>u5&#45;&gt;u12</title>
-<path fill="none" stroke="black" d="M465.94,-468.47C457.34,-459.5 447.59,-447.25 443,-434.12 435.23,-411.88 427.18,-345.57 443,-328.12 479.75,-287.59 640.57,-331.38 688,-304.12 708.66,-292.24 723.85,-269.5 733.32,-251.46"/>
-<polygon fill="black" stroke="black" points="736.7,-252.53 738,-242.02 730.43,-249.43 736.7,-252.53"/>
-</g>
-<!-- u5&#45;&gt;u11 -->
-<g id="edge71" class="edge">
-<title>u5&#45;&gt;u11</title>
-<path fill="none" stroke="black" d="M482,-465.85C482,-444.48 482,-407.81 482,-382.56"/>
-<polygon fill="black" stroke="black" points="485.5,-382.51 482,-372.51 478.5,-382.51 485.5,-382.51"/>
-</g>
-<!-- u5&#45;&gt;u6 -->
-<g id="edge73" class="edge">
-<title>u5&#45;&gt;u6</title>
-<path fill="none" stroke="black" d="M499.75,-469.31C506.37,-464.92 514.19,-460.57 522,-458.12 573.48,-441.96 966.16,-469.38 1007,-434.12 1043.35,-402.73 996.74,-364.57 1028,-328.12 1048.32,-304.42 1070.65,-324.82 1094,-304.12 1109.53,-290.35 1119.8,-269.14 1126.04,-252.16"/>
-<polygon fill="black" stroke="black" points="1129.51,-252.83 1129.42,-242.24 1122.89,-250.57 1129.51,-252.83"/>
-</g>
-<!-- u5&#45;&gt;u9 -->
-<g id="edge72" class="edge">
-<title>u5&#45;&gt;u9</title>
-<path fill="none" stroke="black" d="M499.76,-469.32C506.38,-464.93 514.19,-460.58 522,-458.12 571.45,-442.55 947.99,-467.09 988,-434.12 995.12,-428.25 1022.15,-307.3 1034.17,-252.13"/>
-<polygon fill="black" stroke="black" points="1037.6,-252.85 1036.3,-242.33 1030.76,-251.36 1037.6,-252.85"/>
-</g>
-<!-- u5&#45;&gt;u3 -->
-<g id="edge68" class="edge">
-<title>u5&#45;&gt;u3</title>
-<path fill="none" stroke="black" d="M463.16,-469.78C452.08,-460.93 438.76,-448.34 431,-434.12 422.36,-418.29 403.08,-305.24 394.4,-252.32"/>
-<polygon fill="black" stroke="black" points="397.82,-251.59 392.76,-242.28 390.91,-252.72 397.82,-251.59"/>
-</g>
-<!-- u1 -->
-<g id="node38" class="node">
-<title>u1</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="546" cy="-570.12" rx="37.09" ry="18"/>
-<text text-anchor="middle" x="546" y="-566.42" font-family="Times,serif" font-size="14.00">Cabal</text>
-</g>
-<!-- u0&#45;&gt;u1 -->
-<g id="edge2" class="edge">
-<title>u0&#45;&gt;u1</title>
-<path fill="none" stroke="black" d="M579.88,-634.15C574.03,-623.26 566.31,-608.91 559.73,-596.65"/>
-<polygon fill="black" stroke="black" points="562.78,-594.93 554.96,-587.78 556.61,-598.25 562.78,-594.93"/>
-</g>
-<!-- u20 -->
-<g id="node41" class="node">
-<title>u20</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="713" cy="-570.12" rx="32.49" ry="18"/>
-<text text-anchor="middle" x="713" y="-566.42" font-family="Times,serif" font-size="14.00">GHC</text>
-</g>
-<!-- u0&#45;&gt;u20 -->
-<g id="edge3" class="edge">
-<title>u0&#45;&gt;u20</title>
-<path fill="none" stroke="black" d="M611.74,-636.44C632.02,-623.36 661.82,-604.14 683.84,-589.93"/>
-<polygon fill="black" stroke="black" points="685.95,-592.73 692.46,-584.37 682.16,-586.85 685.95,-592.73"/>
+<!-- u2&#45;&gt;u15 -->
+<g id="edge20" class="edge">
+<title>u2&#45;&gt;u15</title>
+<path fill="none" stroke="black" d="M904.22,-571.57C911.13,-569.72 918.25,-567.9 925,-566.36 973.86,-555.17 990.28,-566.91 1036,-546.36 1049.52,-540.28 1062.68,-530.57 1073.29,-521.46"/>
+<polygon fill="black" stroke="black" points="1075.75,-523.96 1080.88,-514.69 1071.09,-518.74 1075.75,-523.96"/>
 </g>
 <!-- u22 -->
-<g id="node42" class="node">
+<g id="node27" class="node">
 <title>u22</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="632" cy="-570.12" rx="30.59" ry="18"/>
-<text text-anchor="middle" x="632" y="-566.42" font-family="Times,serif" font-size="14.00">HLS</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="982" cy="-497.36" rx="45.49" ry="18"/>
+<text text-anchor="middle" x="982" y="-493.66" font-family="Times,serif" font-size="14.00">Version</text>
 </g>
-<!-- u0&#45;&gt;u22 -->
-<g id="edge4" class="edge">
-<title>u0&#45;&gt;u22</title>
-<path fill="none" stroke="black" d="M598.12,-634.15C604.01,-623.19 611.79,-608.72 618.41,-596.41"/>
-<polygon fill="black" stroke="black" points="621.54,-597.98 623.19,-587.51 615.37,-594.66 621.54,-597.98"/>
+<!-- u2&#45;&gt;u22 -->
+<g id="edge21" class="edge">
+<title>u2&#45;&gt;u22</title>
+<path fill="none" stroke="black" d="M895,-569.1C907.3,-562.85 921.28,-554.97 933,-546.36 942.7,-539.23 952.38,-530.25 960.54,-521.99"/>
+<polygon fill="black" stroke="black" points="963.16,-524.32 967.56,-514.68 958.11,-519.47 963.16,-524.32"/>
+</g>
+<!-- u28 -->
+<g id="node2" class="node">
+<title>u28</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="777" cy="-497.36" rx="33.29" ry="18"/>
+<text text-anchor="middle" x="777" y="-493.66" font-family="Times,serif" font-size="14.00">Utils</text>
+</g>
+<!-- u16 -->
+<g id="node12" class="node">
+<title>u16</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="826" cy="-363.36" rx="46.59" ry="18"/>
+<text text-anchor="middle" x="826" y="-359.66" font-family="Times,serif" font-size="14.00">Prelude</text>
+</g>
+<!-- u28&#45;&gt;u16 -->
+<g id="edge22" class="edge">
+<title>u28&#45;&gt;u16</title>
+<path fill="none" stroke="black" d="M783.21,-479.64C791.52,-457.25 806.36,-417.27 816.19,-390.78"/>
+<polygon fill="black" stroke="black" points="819.49,-391.95 819.69,-381.36 812.93,-389.51 819.49,-391.95"/>
+</g>
+<!-- u31 -->
+<g id="node3" class="node">
+<title>u31</title>
+<ellipse fill="#bbbbff" stroke="black" stroke-width="0" cx="729" cy="-584.36" rx="60.39" ry="18"/>
+<text text-anchor="middle" x="729" y="-580.66" font-family="Times,serif" font-size="14.00">IOStreams</text>
+</g>
+<!-- u31&#45;&gt;u28 -->
+<g id="edge23" class="edge">
+<title>u31&#45;&gt;u28</title>
+<path fill="none" stroke="black" d="M738.48,-566.56C745.36,-554.38 754.8,-537.67 762.61,-523.85"/>
+<polygon fill="black" stroke="black" points="765.83,-525.25 767.7,-514.83 759.73,-521.81 765.83,-525.25"/>
+</g>
+<!-- u19 -->
+<g id="node4" class="node">
+<title>u19</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="595" cy="-133.36" rx="28.7" ry="18"/>
+<text text-anchor="middle" x="595" y="-129.66" font-family="Times,serif" font-size="14.00">File</text>
+</g>
+<!-- u17 -->
+<g id="node14" class="node">
+<title>u17</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="601" cy="-49.36" rx="48.19" ry="18"/>
+<text text-anchor="middle" x="601" y="-45.66" font-family="Times,serif" font-size="14.00">Internal</text>
+</g>
+<!-- u19&#45;&gt;u17 -->
+<g id="edge27" class="edge">
+<title>u19&#45;&gt;u17</title>
+<path fill="none" stroke="black" d="M596.24,-115.37C597.03,-104.55 598.08,-90.3 598.98,-77.9"/>
+<polygon fill="black" stroke="black" points="602.5,-77.84 599.74,-67.61 595.52,-77.33 602.5,-77.84"/>
+</g>
+<!-- u3 -->
+<g id="node25" class="node">
+<title>u3</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="462" cy="-230.36" rx="40.89" ry="18"/>
+<text text-anchor="middle" x="462" y="-226.66" font-family="Times,serif" font-size="14.00">Errors</text>
+</g>
+<!-- u19&#45;&gt;u3 -->
+<g id="edge26" class="edge">
+<title>u19&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M576.84,-147.33C554.7,-163.14 517,-190.07 490.87,-208.74"/>
+<polygon fill="black" stroke="black" points="488.59,-206.06 482.49,-214.72 492.66,-211.76 488.59,-206.06"/>
+</g>
+<!-- u12 -->
+<g id="node5" class="node">
+<title>u12</title>
+<ellipse fill="#bbffff" stroke="black" stroke-width="0" cx="684" cy="-133.36" rx="42.79" ry="18"/>
+<text text-anchor="middle" x="684" y="-129.66" font-family="Times,serif" font-size="14.00">Search</text>
+</g>
+<!-- u4 -->
+<g id="node18" class="node">
+<title>u4</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="367" cy="-133.36" rx="38.19" ry="18"/>
+<text text-anchor="middle" x="367" y="-129.66" font-family="Times,serif" font-size="14.00">Types</text>
+</g>
+<!-- u12&#45;&gt;u4 -->
+<g id="edge28" class="edge">
+<title>u12&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M672.58,-150.78C661.96,-165.24 644.69,-184.79 624,-193.36 584.82,-209.58 467.94,-170.98 406.21,-148.35"/>
+<polygon fill="black" stroke="black" points="407.38,-145.05 396.79,-144.87 404.96,-151.62 407.38,-145.05"/>
+</g>
+<!-- u18 -->
+<g id="node6" class="node">
+<title>u18</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="719" cy="-230.36" rx="43.59" ry="18"/>
+<text text-anchor="middle" x="719" y="-226.66" font-family="Times,serif" font-size="14.00">Logger</text>
+</g>
+<!-- u18&#45;&gt;u19 -->
+<g id="edge29" class="edge">
+<title>u18&#45;&gt;u19</title>
+<path fill="none" stroke="black" d="M691.65,-216.15C669.99,-205.4 641.81,-190.7 632,-182.36 624.03,-175.58 616.67,-166.82 610.64,-158.65"/>
+<polygon fill="black" stroke="black" points="613.49,-156.62 604.88,-150.45 607.77,-160.64 613.49,-156.62"/>
+</g>
+<!-- u14 -->
+<g id="node7" class="node">
+<title>u14</title>
+<ellipse fill="#ffbbff" stroke="black" stroke-width="0" cx="609" cy="-230.36" rx="48.19" ry="18"/>
+<text text-anchor="middle" x="609" y="-226.66" font-family="Times,serif" font-size="14.00">Internal</text>
+</g>
+<!-- u14&#45;&gt;u4 -->
+<g id="edge30" class="edge">
+<title>u14&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M577.11,-216.84C532.69,-199.4 452.29,-167.84 404.87,-149.22"/>
+<polygon fill="black" stroke="black" points="406.15,-145.97 395.56,-145.57 403.59,-152.48 406.15,-145.97"/>
+</g>
+<!-- u20 -->
+<g id="node8" class="node">
+<title>u20</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="2" cx="957" cy="-230.36" rx="46.59" ry="18"/>
+<text text-anchor="middle" x="957" y="-226.66" font-family="Times,serif" font-size="14.00">Process</text>
+</g>
+<!-- u32 -->
+<g id="node9" class="node">
+<title>u32</title>
+<ellipse fill="#77ff77" stroke="black" stroke-width="0" cx="840" cy="-230.36" rx="52.79" ry="18"/>
+<text text-anchor="middle" x="840" y="-226.66" font-family="Times,serif" font-size="14.00">Windows</text>
+</g>
+<!-- u32&#45;&gt;u12 -->
+<g id="edge31" class="edge">
+<title>u32&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M815.28,-214.3C788.42,-197.95 745.41,-171.75 715.99,-153.84"/>
+<polygon fill="black" stroke="black" points="717.69,-150.78 707.33,-148.56 714.05,-156.75 717.69,-150.78"/>
+</g>
+<!-- u13 -->
+<g id="node10" class="node">
+<title>u13</title>
+<ellipse fill="#ffff77" stroke="black" stroke-width="0" cx="734" cy="-363.36" rx="27" ry="18"/>
+<text text-anchor="middle" x="734" y="-359.66" font-family="Times,serif" font-size="14.00">QQ</text>
+</g>
+<!-- u21 -->
+<g id="node11" class="node">
+<title>u21</title>
+<ellipse fill="#7777ff" stroke="black" stroke-width="0" cx="977" cy="-363.36" rx="27" ry="18"/>
+<text text-anchor="middle" x="977" y="-359.66" font-family="Times,serif" font-size="14.00">QQ</text>
+</g>
+<!-- u16&#45;&gt;u18 -->
+<g id="edge24" class="edge">
+<title>u16&#45;&gt;u18</title>
+<path fill="none" stroke="black" d="M808.76,-346.13C798.53,-336.18 785.54,-322.97 775,-310.36 760.67,-293.21 746.13,-272.57 735.45,-256.69"/>
+<polygon fill="black" stroke="black" points="738.09,-254.35 729.64,-247.95 732.26,-258.22 738.09,-254.35"/>
+</g>
+<!-- u10 -->
+<g id="node13" class="node">
+<title>u10</title>
+<ellipse fill="#ffbbbb" stroke="black" stroke-width="0" cx="621" cy="-363.36" rx="67.69" ry="18"/>
+<text text-anchor="middle" x="621" y="-359.66" font-family="Times,serif" font-size="14.00">MegaParsec</text>
+</g>
+<!-- u10&#45;&gt;u4 -->
+<g id="edge25" class="edge">
+<title>u10&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M591.45,-347.12C576.78,-338.2 559.92,-325.68 549,-310.36 520.44,-270.28 549.21,-241.56 517,-204.36 489.55,-172.66 444.67,-154.35 411.14,-144.47"/>
+<polygon fill="black" stroke="black" points="411.7,-141 401.13,-141.67 409.81,-147.74 411.7,-141"/>
+</g>
+<!-- u8 -->
+<g id="node15" class="node">
+<title>u8</title>
+<ellipse fill="#ff7777" stroke="black" stroke-width="2" cx="68" cy="-230.36" rx="36" ry="18"/>
+<text text-anchor="middle" x="68" y="-226.66" font-family="Times,serif" font-size="14.00">JSON</text>
+</g>
+<!-- u8&#45;&gt;u10 -->
+<g id="edge35" class="edge">
+<title>u8&#45;&gt;u10</title>
+<path fill="none" stroke="black" d="M72.64,-248.48C78.64,-267.08 91.05,-296.05 113,-310.36 148.38,-333.41 412.5,-350.95 545.27,-358.42"/>
+<polygon fill="black" stroke="black" points="545.2,-361.92 555.38,-358.98 545.59,-354.93 545.2,-361.92"/>
+</g>
+<!-- u9 -->
+<g id="node17" class="node">
+<title>u9</title>
+<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="68" cy="-133.36" rx="33.29" ry="18"/>
+<text text-anchor="middle" x="68" y="-129.66" font-family="Times,serif" font-size="14.00">Utils</text>
+</g>
+<!-- u8&#45;&gt;u9 -->
+<g id="edge37" class="edge">
+<title>u8&#45;&gt;u9</title>
+<path fill="none" stroke="black" d="M68,-211.93C68,-198.01 68,-178.22 68,-162.11"/>
+<polygon fill="black" stroke="black" points="71.5,-161.67 68,-151.67 64.5,-161.67 71.5,-161.67"/>
+</g>
+<!-- u5 -->
+<g id="node19" class="node">
+<title>u5</title>
+<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="274" cy="-133.36" rx="36.29" ry="18"/>
+<text text-anchor="middle" x="274" y="-129.66" font-family="Times,serif" font-size="14.00">Stack</text>
+</g>
+<!-- u8&#45;&gt;u5 -->
+<g id="edge36" class="edge">
+<title>u8&#45;&gt;u5</title>
+<path fill="none" stroke="black" d="M89.29,-215.65C96.57,-211.48 104.92,-207.25 113,-204.36 164.47,-185.95 186.78,-209.89 234,-182.36 243.56,-176.78 251.85,-168.03 258.37,-159.52"/>
+<polygon fill="black" stroke="black" points="261.33,-161.39 264.27,-151.21 255.63,-157.33 261.33,-161.39"/>
+</g>
+<!-- u6 -->
+<g id="node16" class="node">
+<title>u6</title>
+<ellipse fill="#77ffff" stroke="black" stroke-width="0" cx="172" cy="-230.36" rx="50.09" ry="18"/>
+<text text-anchor="middle" x="172" y="-226.66" font-family="Times,serif" font-size="14.00">Versions</text>
+</g>
+<!-- u7 -->
+<g id="node22" class="node">
+<title>u7</title>
+<ellipse fill="#ff77ff" stroke="black" stroke-width="0" cx="457" cy="-497.36" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="457" y="-493.66" font-family="Times,serif" font-size="14.00">Dirs</text>
+</g>
+<!-- u4&#45;&gt;u7 -->
+<g id="edge32" class="edge">
+<title>u4&#45;&gt;u7</title>
+<path fill="none" stroke="black" stroke-dasharray="5,2" d="M374.54,-151.23C380.4,-165.18 388.15,-185.65 392,-204.36 413.44,-308.61 364.63,-345.72 407,-443.36 412.35,-455.69 421.87,-466.91 431.18,-475.82"/>
+<polygon fill="black" stroke="black" points="429.08,-478.65 438.86,-482.74 433.77,-473.45 429.08,-478.65"/>
+</g>
+<!-- u5&#45;&gt;u6 -->
+<g id="edge33" class="edge">
+<title>u5&#45;&gt;u6</title>
+<path fill="none" stroke="black" d="M261.88,-150.72C254.35,-160.39 244.2,-172.62 234,-182.36 224.46,-191.47 213.18,-200.47 202.87,-208.11"/>
+<polygon fill="black" stroke="black" points="200.53,-205.48 194.5,-214.19 204.65,-211.15 200.53,-205.48"/>
+</g>
+<!-- u11 -->
+<g id="node20" class="node">
+<title>u11</title>
+<ellipse fill="#ff7777" stroke="black" stroke-width="0" cx="343" cy="-230.36" rx="40.09" ry="18"/>
+<text text-anchor="middle" x="343" y="-226.66" font-family="Times,serif" font-size="14.00">Optics</text>
+</g>
+<!-- u11&#45;&gt;u4 -->
+<g id="edge34" class="edge">
+<title>u11&#45;&gt;u4</title>
+<path fill="none" stroke="black" d="M347.29,-212.37C350.85,-198.28 355.98,-177.96 360.12,-161.59"/>
+<polygon fill="black" stroke="black" points="363.61,-162.07 362.67,-151.51 356.82,-160.35 363.61,-162.07"/>
 </g>
 <!-- u23 -->
-<g id="node43" class="node">
+<g id="node21" class="node">
 <title>u23</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="379" cy="-570.12" rx="36.29" ry="18"/>
-<text text-anchor="middle" x="379" y="-566.42" font-family="Times,serif" font-size="14.00">Stack</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="2" cx="539" cy="-497.36" rx="33.29" ry="18"/>
+<text text-anchor="middle" x="539" y="-493.66" font-family="Times,serif" font-size="14.00">Utils</text>
 </g>
-<!-- u0&#45;&gt;u23 -->
-<g id="edge5" class="edge">
-<title>u0&#45;&gt;u23</title>
-<path fill="none" stroke="black" d="M557.56,-639.14C519.82,-624.76 456.61,-600.68 416.4,-585.37"/>
-<polygon fill="black" stroke="black" points="417.55,-582.05 406.96,-581.77 415.05,-588.6 417.55,-582.05"/>
+<!-- u23&#45;&gt;u2 -->
+<g id="edge38" class="edge">
+<title>u23&#45;&gt;u2</title>
+<path fill="none" stroke="black" d="M562.81,-510.07C586.22,-521.1 623.26,-537.25 657,-546.36 718.11,-562.85 735.92,-554 798,-566.36 802.75,-567.3 807.68,-568.38 812.59,-569.53"/>
+<polygon fill="black" stroke="black" points="812.07,-573 822.62,-571.95 813.72,-566.2 812.07,-573"/>
+</g>
+<!-- u7&#45;&gt;u12 -->
+<g id="edge40" class="edge">
+<title>u7&#45;&gt;u12</title>
+<path fill="none" stroke="black" d="M469.12,-480.58C476.19,-470.5 484.56,-456.83 489,-443.36 503.82,-398.42 475.34,-378.34 499,-337.36 509.36,-319.41 526.47,-328.2 537,-310.36 561.09,-269.52 517.96,-240.2 549,-204.36 574.26,-175.18 599.24,-201.05 633,-182.36 644.19,-176.16 654.79,-166.95 663.41,-158.26"/>
+<polygon fill="black" stroke="black" points="666.1,-160.5 670.42,-150.83 661.01,-155.69 666.1,-160.5"/>
+</g>
+<!-- u7&#45;&gt;u14 -->
+<g id="edge41" class="edge">
+<title>u7&#45;&gt;u14</title>
+<path fill="none" stroke="black" d="M471.16,-481C479.99,-470.86 491.13,-456.98 499,-443.36 524.34,-399.47 517.88,-382.45 541,-337.36 555.84,-308.42 576.39,-277.32 591.01,-256.34"/>
+<polygon fill="black" stroke="black" points="593.98,-258.2 596.88,-248.01 588.26,-254.17 593.98,-258.2"/>
+</g>
+<!-- u7&#45;&gt;u13 -->
+<g id="edge42" class="edge">
+<title>u7&#45;&gt;u13</title>
+<path fill="none" stroke="black" d="M475.28,-482.66C481.82,-478.39 489.45,-474.09 497,-471.36 583.9,-439.95 630.35,-500.44 703,-443.36 718.83,-430.92 726.59,-409.25 730.39,-391.75"/>
+<polygon fill="black" stroke="black" points="733.91,-391.98 732.28,-381.51 727.02,-390.71 733.91,-391.98"/>
+</g>
+<!-- u7&#45;&gt;u8 -->
+<g id="edge44" class="edge">
+<title>u7&#45;&gt;u8</title>
+<path fill="none" stroke="black" d="M430.56,-487.89C368.33,-466.83 210.54,-406.76 113,-310.36 97.8,-295.33 86.09,-274.1 78.43,-257.43"/>
+<polygon fill="black" stroke="black" points="81.61,-255.97 74.39,-248.22 75.2,-258.78 81.61,-255.97"/>
+</g>
+<!-- u7&#45;&gt;u11 -->
+<g id="edge43" class="edge">
+<title>u7&#45;&gt;u11</title>
+<path fill="none" stroke="black" d="M437.17,-483.6C423.89,-474.05 407.07,-459.84 397,-443.36 360.76,-384.02 348.73,-301.14 344.83,-258.73"/>
+<polygon fill="black" stroke="black" points="348.3,-258.29 343.98,-248.61 341.33,-258.87 348.3,-258.29"/>
+</g>
+<!-- u7&#45;&gt;u3 -->
+<g id="edge39" class="edge">
+<title>u7&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M457.33,-478.97C458.18,-433.94 460.45,-313.25 461.48,-258.74"/>
+<polygon fill="black" stroke="black" points="464.99,-258.53 461.68,-248.46 457.99,-258.4 464.99,-258.53"/>
+</g>
+<!-- u0 -->
+<g id="node23" class="node">
+<title>u0</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="2" cx="460" cy="-672.36" rx="44.39" ry="18"/>
+<text text-anchor="middle" x="460" y="-668.66" font-family="Times,serif" font-size="14.00">GHCup</text>
+</g>
+<!-- u1 -->
+<g id="node24" class="node">
+<title>u1</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="286" cy="-584.36" rx="37.09" ry="18"/>
+<text text-anchor="middle" x="286" y="-580.66" font-family="Times,serif" font-size="14.00">Cabal</text>
+</g>
+<!-- u0&#45;&gt;u1 -->
+<g id="edge3" class="edge">
+<title>u0&#45;&gt;u1</title>
+<path fill="none" stroke="black" d="M419.44,-664.9C393.11,-659.4 358.82,-649.71 332,-633.36 321.74,-627.1 312.22,-617.99 304.53,-609.39"/>
+<polygon fill="black" stroke="black" points="307.16,-607.08 298.01,-601.72 301.82,-611.61 307.16,-607.08"/>
 </g>
 <!-- u24 -->
-<g id="node44" class="node">
+<g id="node28" class="node">
 <title>u24</title>
-<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="462" cy="-570.12" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="462" y="-566.42" font-family="Times,serif" font-size="14.00">List</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="539" cy="-584.36" rx="32.49" ry="18"/>
+<text text-anchor="middle" x="539" y="-580.66" font-family="Times,serif" font-size="14.00">GHC</text>
 </g>
 <!-- u0&#45;&gt;u24 -->
-<g id="edge6" class="edge">
+<g id="edge4" class="edge">
 <title>u0&#45;&gt;u24</title>
-<path fill="none" stroke="black" d="M566,-636.63C544.67,-623.19 512.88,-603.17 490.06,-588.79"/>
-<polygon fill="black" stroke="black" points="491.83,-585.77 481.5,-583.4 488.1,-591.69 491.83,-585.77"/>
+<path fill="none" stroke="black" d="M476.56,-655.36C483.33,-648.68 491.16,-640.76 498,-633.36 505.1,-625.67 512.61,-617.05 519.23,-609.25"/>
+<polygon fill="black" stroke="black" points="522.25,-611.1 526.01,-601.19 516.89,-606.59 522.25,-611.1"/>
+</g>
+<!-- u25 -->
+<g id="node29" class="node">
+<title>u25</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="620" cy="-584.36" rx="30.59" ry="18"/>
+<text text-anchor="middle" x="620" y="-580.66" font-family="Times,serif" font-size="14.00">HLS</text>
 </g>
 <!-- u0&#45;&gt;u25 -->
-<g id="edge7" class="edge">
+<g id="edge5" class="edge">
 <title>u0&#45;&gt;u25</title>
-<path fill="none" stroke="black" d="M631.59,-647.2C670.07,-641.23 725,-626.15 754,-588.12 770.36,-566.66 770.97,-534.92 768.67,-512.35"/>
-<polygon fill="black" stroke="black" points="772.14,-511.88 767.41,-502.4 765.19,-512.76 772.14,-511.88"/>
+<path fill="none" stroke="black" d="M500.05,-664.63C524.66,-659.11 555.96,-649.5 580,-633.36 589.19,-627.19 597.4,-618.32 603.96,-609.87"/>
+<polygon fill="black" stroke="black" points="606.87,-611.83 609.95,-601.69 601.22,-607.7 606.87,-611.83"/>
 </g>
-<!-- u1&#45;&gt;u19 -->
+<!-- u26 -->
+<g id="node30" class="node">
+<title>u26</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="377" cy="-584.36" rx="36.29" ry="18"/>
+<text text-anchor="middle" x="377" y="-580.66" font-family="Times,serif" font-size="14.00">Stack</text>
+</g>
+<!-- u0&#45;&gt;u26 -->
+<g id="edge6" class="edge">
+<title>u0&#45;&gt;u26</title>
+<path fill="none" stroke="black" d="M443.98,-655.57C437.16,-648.78 429.14,-640.73 422,-633.36 414.25,-625.36 405.88,-616.49 398.48,-608.57"/>
+<polygon fill="black" stroke="black" points="400.84,-605.97 391.47,-601.04 395.72,-610.74 400.84,-605.97"/>
+</g>
+<!-- u27 -->
+<g id="node31" class="node">
+<title>u27</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="460" cy="-584.36" rx="28.7" ry="18"/>
+<text text-anchor="middle" x="460" y="-580.66" font-family="Times,serif" font-size="14.00">List</text>
+</g>
+<!-- u0&#45;&gt;u27 -->
+<g id="edge7" class="edge">
+<title>u0&#45;&gt;u27</title>
+<path fill="none" stroke="black" d="M460,-653.95C460,-642.1 460,-626.17 460,-612.65"/>
+<polygon fill="black" stroke="black" points="463.5,-612.44 460,-602.44 456.5,-612.44 463.5,-612.44"/>
+</g>
+<!-- u1&#45;&gt;u23 -->
 <g id="edge8" class="edge">
-<title>u1&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M549.64,-552.12C552.11,-540.62 555.41,-525.19 558.23,-512.03"/>
-<polygon fill="black" stroke="black" points="561.69,-512.6 560.36,-502.09 554.85,-511.13 561.69,-512.6"/>
+<title>u1&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M313.41,-572.04C319.45,-569.88 325.88,-567.84 332,-566.36 403.8,-548.99 431.69,-580.88 497,-546.36 507.24,-540.95 516.12,-531.94 523.05,-523.19"/>
+<polygon fill="black" stroke="black" points="525.96,-525.13 529.07,-515 520.32,-520.98 525.96,-525.13"/>
 </g>
 <!-- u3&#45;&gt;u4 -->
 <g id="edge9" class="edge">
 <title>u3&#45;&gt;u4</title>
-<path fill="none" stroke="black" d="M428.59,-217.64C541.25,-201.64 869.35,-155.06 991.48,-137.72"/>
-<polygon fill="black" stroke="black" points="992.21,-141.15 1001.62,-136.28 991.23,-134.22 992.21,-141.15"/>
+<path fill="none" stroke="black" d="M446.31,-213.67C431.05,-198.41 407.67,-175.03 390.25,-157.6"/>
+<polygon fill="black" stroke="black" points="392.26,-154.66 382.71,-150.07 387.31,-159.61 392.26,-154.66"/>
 </g>
-<!-- u18&#45;&gt;u3 -->
-<g id="edge10" class="edge">
-<title>u18&#45;&gt;u3</title>
-<path fill="none" stroke="black" d="M357.05,-336.12C363.43,-314.6 374.51,-277.29 382.04,-251.92"/>
-<polygon fill="black" stroke="black" points="385.44,-252.77 384.93,-242.18 378.73,-250.77 385.44,-252.77"/>
-</g>
-<!-- u20&#45;&gt;u21 -->
+<!-- u15&#45;&gt;u20 -->
 <g id="edge11" class="edge">
-<title>u20&#45;&gt;u21</title>
-<path fill="none" stroke="black" d="M697.84,-553.78C668.88,-524.26 607.13,-460.17 591,-434.12 580.88,-417.78 573.03,-397.58 567.76,-381.7"/>
-<polygon fill="black" stroke="black" points="571.03,-380.44 564.67,-371.97 564.36,-382.56 571.03,-380.44"/>
+<title>u15&#45;&gt;u20</title>
+<path fill="none" stroke="black" d="M1113.9,-479.89C1122.62,-470.18 1132.39,-457.13 1137,-443.36 1151.97,-398.69 1160.38,-378.26 1137,-337.36 1108.78,-287.99 1047.61,-259.33 1004.44,-244.54"/>
+<polygon fill="black" stroke="black" points="1005.29,-241.13 994.7,-241.33 1003.1,-247.78 1005.29,-241.13"/>
 </g>
-<!-- u20&#45;&gt;u19 -->
+<!-- u15&#45;&gt;u21 -->
 <g id="edge12" class="edge">
-<title>u20&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M688.05,-558.16C682.8,-556.02 677.25,-553.9 672,-552.12 641.07,-541.62 628.18,-551.23 601,-533.12 592.16,-527.23 584.54,-518.52 578.55,-510.13"/>
-<polygon fill="black" stroke="black" points="581.36,-508.04 572.92,-501.64 575.53,-511.91 581.36,-508.04"/>
+<title>u15&#45;&gt;u21</title>
+<path fill="none" stroke="black" d="M1064.11,-483.23C1045.49,-474.36 1023.01,-461.04 1008,-443.36 995.41,-428.52 987.56,-407.97 982.91,-391.54"/>
+<polygon fill="black" stroke="black" points="986.19,-390.25 980.3,-381.45 979.41,-392.01 986.19,-390.25"/>
 </g>
-<!-- u22&#45;&gt;u19 -->
+<!-- u15&#45;&gt;u16 -->
+<g id="edge10" class="edge">
+<title>u15&#45;&gt;u16</title>
+<path fill="none" stroke="black" d="M1065.91,-482.84C1056.39,-478.91 1045.84,-474.77 1036,-471.36 993.2,-456.52 978.86,-462.91 938,-443.36 906.22,-428.15 873.73,-404.1 851.98,-386.53"/>
+<polygon fill="black" stroke="black" points="854.15,-383.78 844.2,-380.14 849.71,-389.19 854.15,-383.78"/>
+</g>
+<!-- u22&#45;&gt;u3 -->
 <g id="edge13" class="edge">
-<title>u22&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M618.54,-553.85C613.02,-547.51 606.63,-540.02 601,-533.12 594.75,-525.45 588.1,-516.94 582.19,-509.24"/>
-<polygon fill="black" stroke="black" points="584.97,-507.11 576.12,-501.29 579.4,-511.36 584.97,-507.11"/>
+<title>u22&#45;&gt;u3</title>
+<path fill="none" stroke="black" d="M958.36,-481.89C950.55,-477.78 941.65,-473.76 933,-471.36 848.87,-447.93 610.91,-495.7 541,-443.36 481.77,-399.01 466.93,-305.12 463.23,-258.62"/>
+<polygon fill="black" stroke="black" points="466.7,-258.14 462.53,-248.4 459.72,-258.62 466.7,-258.14"/>
 </g>
-<!-- u23&#45;&gt;u19 -->
+<!-- u24&#45;&gt;u23 -->
 <g id="edge14" class="edge">
-<title>u23&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M406.36,-557.94C412.12,-555.82 418.22,-553.76 424,-552.12 466.68,-540.01 483.54,-555.23 522,-533.12 532.04,-527.34 540.89,-518.28 547.84,-509.57"/>
-<polygon fill="black" stroke="black" points="550.72,-511.56 553.9,-501.45 545.11,-507.37 550.72,-511.56"/>
+<title>u24&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M539,-566.16C539,-554.52 539,-538.9 539,-525.59"/>
+<polygon fill="black" stroke="black" points="542.5,-525.53 539,-515.53 535.5,-525.53 542.5,-525.53"/>
 </g>
-<!-- u24&#45;&gt;u19 -->
+<!-- u25&#45;&gt;u23 -->
 <g id="edge15" class="edge">
-<title>u24&#45;&gt;u19</title>
-<path fill="none" stroke="black" d="M483.62,-558.29C495.54,-551.81 510.26,-542.93 522,-533.12 530.54,-525.98 538.85,-517.05 545.79,-508.83"/>
-<polygon fill="black" stroke="black" points="548.61,-510.9 552.23,-500.95 543.19,-506.47 548.61,-510.9"/>
+<title>u25&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M605.52,-568.16C593.04,-555.07 574.85,-535.98 560.64,-521.07"/>
+<polygon fill="black" stroke="black" points="563.06,-518.53 553.63,-513.71 557.99,-523.36 563.06,-518.53"/>
 </g>
-<!-- u25&#45;&gt;u13 -->
+<!-- u26&#45;&gt;u23 -->
 <g id="edge16" class="edge">
-<title>u25&#45;&gt;u13</title>
-<path fill="none" stroke="black" d="M743.78,-467.39C732.64,-458.26 718.91,-446.2 708,-434.12 693.03,-417.53 678.51,-396.87 668,-380.84"/>
-<polygon fill="black" stroke="black" points="670.67,-378.51 662.31,-372 664.78,-382.3 670.67,-378.51"/>
+<title>u26&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M404.45,-572.49C410.21,-570.35 416.28,-568.2 422,-566.36 454.84,-555.8 467.7,-564.57 497,-546.36 506.69,-540.33 515.39,-531.38 522.32,-522.83"/>
+<polygon fill="black" stroke="black" points="525.11,-524.94 528.4,-514.87 519.55,-520.69 525.11,-524.94"/>
 </g>
-<!-- u25&#45;&gt;u17 -->
+<!-- u27&#45;&gt;u23 -->
 <g id="edge17" class="edge">
-<title>u25&#45;&gt;u17</title>
-<path fill="none" stroke="black" d="M764,-465.85C764,-444.48 764,-407.81 764,-382.56"/>
-<polygon fill="black" stroke="black" points="767.5,-382.51 764,-372.51 760.5,-382.51 767.5,-382.51"/>
-</g>
-<!-- u27&#45;&gt;u18 -->
-<g id="edge18" class="edge">
-<title>u27&#45;&gt;u18</title>
-<path fill="none" stroke="black" d="M103.85,-715.89C145.57,-655.23 285.85,-451.29 334.9,-379.98"/>
-<polygon fill="black" stroke="black" points="337.89,-381.8 340.67,-371.58 332.12,-377.84 337.89,-381.8"/>
+<title>u27&#45;&gt;u23</title>
+<path fill="none" stroke="black" d="M474.99,-568.81C481.81,-562.08 489.92,-553.92 497,-546.36 504.22,-538.64 511.9,-530 518.69,-522.2"/>
+<polygon fill="black" stroke="black" points="521.75,-524.01 525.64,-514.16 516.45,-519.43 521.75,-524.01"/>
 </g>
 <!-- u29 -->
-<g id="node47" class="node">
+<g id="node32" class="node">
 <title>u29</title>
-<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="938" cy="-1019.12" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="938" y="-1015.42" font-family="Times,serif" font-size="14.00">Main</text>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1078" cy="-363.36" rx="50.09" ry="18"/>
+<text text-anchor="middle" x="1078" y="-359.66" font-family="Times,serif" font-size="14.00">Prompts</text>
 </g>
-<!-- u29&#45;&gt;u30 -->
+<!-- u29&#45;&gt;u18 -->
+<g id="edge18" class="edge">
+<title>u29&#45;&gt;u18</title>
+<path fill="none" stroke="black" d="M1048.59,-348.6C1038.46,-344.37 1026.91,-340.11 1016,-337.36 911.5,-310.96 867.84,-365.11 775,-310.36 754.6,-298.32 739.69,-275.6 730.41,-257.61"/>
+<polygon fill="black" stroke="black" points="733.35,-255.66 725.83,-248.19 727.05,-258.72 733.35,-255.66"/>
+</g>
+<!-- u30 -->
+<g id="node33" class="node">
+<title>u30</title>
+<ellipse fill="#ffffbb" stroke="black" stroke-width="0" cx="1015" cy="-584.36" rx="76.09" ry="18"/>
+<text text-anchor="middle" x="1015" y="-580.66" font-family="Times,serif" font-size="14.00">Requirements</text>
+</g>
+<!-- u30&#45;&gt;u22 -->
+<g id="edge19" class="edge">
+<title>u30&#45;&gt;u22</title>
+<path fill="none" stroke="black" d="M1008.32,-566.16C1003.73,-554.33 997.54,-538.39 992.32,-524.93"/>
+<polygon fill="black" stroke="black" points="995.44,-523.3 988.56,-515.24 988.91,-525.83 995.44,-523.3"/>
+</g>
+<!-- u33 -->
+<g id="node34" class="node">
+<title>u33</title>
+<ellipse fill="#bbffbb" stroke="black" stroke-width="0" cx="1198" cy="-672.36" rx="34.39" ry="18"/>
+<text text-anchor="middle" x="1198" y="-668.66" font-family="Times,serif" font-size="14.00">Main</text>
+</g>
+<!-- u33&#45;&gt;u24 -->
 <g id="edge1" class="edge">
-<title>u29&#45;&gt;u30</title>
-<path fill="none" stroke="black" d="M938,-1001.07C938,-981.54 938,-949.28 938,-926.28"/>
-<polygon fill="black" stroke="black" points="941.5,-926.13 938,-916.13 934.5,-926.13 941.5,-926.13"/>
+<title>u33&#45;&gt;u24</title>
+<path fill="none" stroke="black" d="M1174.36,-659.12C1169.71,-657.19 1164.79,-655.47 1160,-654.36 1097.19,-639.75 638.07,-661.41 580,-633.36 569.53,-628.3 560.7,-619.19 553.94,-610.25"/>
+<polygon fill="black" stroke="black" points="556.7,-608.09 548.12,-601.88 550.95,-612.09 556.7,-608.09"/>
+</g>
+<!-- u33&#45;&gt;u25 -->
+<g id="edge2" class="edge">
+<title>u33&#45;&gt;u25</title>
+<path fill="none" stroke="black" d="M1174.36,-659.14C1169.71,-657.21 1164.78,-655.48 1160,-654.36 1105.55,-641.54 706.67,-659.08 657,-633.36 647.19,-628.28 639.2,-619.29 633.19,-610.45"/>
+<polygon fill="black" stroke="black" points="636.09,-608.48 627.85,-601.82 630.14,-612.16 636.09,-608.48"/>
 </g>
 </g>
 </svg>