docs/cats-type-class.svg

<?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">
<svg xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1431 1821" width="1431" height="1821">
  <defs>
    <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black">
      <g>
        <path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
      </g>
    </marker>
    <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker_2" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black">
      <g>
        <path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
      </g>
    </marker>
    <font-face font-family="Helvetica" font-size="12" units-per-em="1000" underline-position="-75.68359" underline-thickness="49.316406" slope="0" x-height="522.9492" cap-height="717.28516" ascent="770.0195" descent="-229.98047" font-weight="400">
      <font-face-src>
        <font-face-name name="Helvetica"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Helvetica" font-size="17" units-per-em="1000" underline-position="-75.68359" underline-thickness="49.316406" slope="0" x-height="532.22656" cap-height="719.7266" ascent="770.0195" descent="-229.98047" font-weight="700">
      <font-face-src>
        <font-face-name name="Helvetica-Bold"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Helvetica" font-size="11" units-per-em="1000" underline-position="-75.68359" underline-thickness="49.316406" slope="0" x-height="522.9492" cap-height="717.28516" ascent="770.0195" descent="-229.98047" font-weight="400">
      <font-face-src>
        <font-face-name name="Helvetica"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Helvetica" font-size="24" units-per-em="1000" underline-position="-75.68359" underline-thickness="49.316406" slope="0" x-height="532.22656" cap-height="719.7266" ascent="770.0195" descent="-229.98047" font-weight="700">
      <font-face-src>
        <font-face-name name="Helvetica-Bold"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Times New Roman" font-size="12" panose-1="2 2 5 3 5 4 5 9 3 4" units-per-em="1000" underline-position="-108.88672" underline-thickness="48.828125" slope="-1361.0827" x-height="430.1758" cap-height="662.1094" ascent="891.1133" descent="-216.3086" font-style="italic" font-weight="400">
      <font-face-src>
        <font-face-name name="TimesNewRomanPS-ItalicMT"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Menlo" font-size="12" panose-1="2 11 6 9 3 8 4 2 2 4" units-per-em="1000" underline-position="-63.47656" underline-thickness="43.94531" slope="0" x-height="546.875" cap-height="729.0039" ascent="928.2227" descent="-235.83984" font-weight="400">
      <font-face-src>
        <font-face-name name="Menlo-Regular"/>
      </font-face-src>
    </font-face>
    <font-face font-family="Helvetica" font-size="17" units-per-em="1000" underline-position="-75.68359" underline-thickness="49.316406" slope="0" x-height="522.9492" cap-height="717.28516" ascent="770.0195" descent="-229.98047" font-weight="400">
      <font-face-src>
        <font-face-name name="Helvetica"/>
      </font-face-src>
    </font-face>
  </defs>
  <metadata> Produced by OmniGraffle 7.8.1 
    <dc:date>2018-09-09 21:20:43 +0000</dc:date>
  </metadata>
  <g id="Canvas_1" fill-opacity="1" stroke-dasharray="none" stroke="none" stroke-opacity="1" fill="none">
    <title>Canvas 1</title>
    <rect fill="white" x="0" y="0" width="1431" height="1821"/>
    <g id="Canvas_1: Layer 1">
      <title>Layer 1</title>
      <g id="Line_197">
        <line x1="792" y1="720" x2="792" y2="622.4" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_196">
        <path d="M 684 810 L 702 810 L 702 702 L 792 702 L 792 622.4" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_195">
        <path d="M 1107 648 L 1067.1066 632.04265 L 972 594 L 972 559.8" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_194">
        <path d="M 828 216 L 936 216 C 945.9411 216 954 224.05887 954 234 L 954 234 C 954 243.94113 945.9411 252 936 252 L 828 252 C 818.0589 252 810 243.94113 810 234 L 810 234 C 810 224.05887 818.0589 216 828 216 Z" fill="#ffd9eb"/>
        <path d="M 828 216 L 936 216 C 945.9411 216 954 224.05887 954 234 L 954 234 C 954 243.94113 945.9411 252 936 252 L 828 252 C 818.0589 252 810 243.94113 810 234 L 810 234 C 810 224.05887 818.0589 216 828 216 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(815 227)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="52.987305" y="11">Band</tspan>
        </text>
      </g>
      <g id="Graphic_193">
        <path d="M 1035 360 L 1143 360 C 1152.9411 360 1161 368.05887 1161 378 L 1161 378 C 1161 387.94113 1152.9411 396 1143 396 L 1035 396 C 1025.0589 396 1017 387.94113 1017 378 L 1017 378 C 1017 368.05887 1025.0589 360 1035 360 Z" fill="#ffd9eb"/>
        <path d="M 1035 360 L 1143 360 C 1152.9411 360 1161 368.05887 1161 378 L 1161 378 C 1161 387.94113 1152.9411 396 1143 396 L 1035 396 C 1025.0589 396 1017 387.94113 1017 378 L 1017 378 C 1017 368.05887 1025.0589 360 1035 360 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1022 371)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="13.632813" y="11">BoundedSemilattice</tspan>
        </text>
      </g>
      <g id="Graphic_192">
        <path d="M 1215 360 L 1323 360 C 1332.9411 360 1341 368.05887 1341 378 L 1341 378 C 1341 387.94113 1332.9411 396 1323 396 L 1215 396 C 1205.0589 396 1197 387.94113 1197 378 L 1197 378 C 1197 368.05887 1205.0589 360 1215 360 Z" fill="#ffd9eb"/>
        <path d="M 1215 360 L 1323 360 C 1332.9411 360 1341 368.05887 1341 378 L 1341 378 C 1341 387.94113 1332.9411 396 1323 396 L 1215 396 C 1205.0589 396 1197 387.94113 1197 378 L 1197 378 C 1197 368.05887 1205.0589 360 1215 360 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1202 371)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="14.980469" y="11">CommutativeGroup</tspan>
        </text>
      </g>
      <g id="Graphic_191">
        <path d="M 1098 288 L 1206 288 C 1215.9411 288 1224 296.05887 1224 306 L 1224 306 C 1224 315.94113 1215.9411 324 1206 324 L 1098 324 C 1088.0589 324 1080 315.94113 1080 306 L 1080 306 C 1080 296.05887 1088.0589 288 1098 288 Z" fill="#ffd9eb"/>
        <path d="M 1098 288 L 1206 288 C 1215.9411 288 1224 296.05887 1224 306 L 1224 306 C 1224 315.94113 1215.9411 324 1206 324 L 1098 324 C 1088.0589 324 1080 315.94113 1080 306 L 1080 306 C 1080 296.05887 1088.0589 288 1098 288 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1085 299)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="11.977539" y="11">CommutativeMonoid</tspan>
        </text>
      </g>
      <g id="Graphic_190">
        <path d="M 999 216 L 1107 216 C 1116.9411 216 1125 224.05887 1125 234 L 1125 234 C 1125 243.94113 1116.9411 252 1107 252 L 999 252 C 989.0589 252 981 243.94113 981 234 L 981 234 C 981 224.05887 989.0589 216 999 216 Z" fill="#ffd9eb"/>
        <path d="M 999 216 L 1107 216 C 1116.9411 216 1125 224.05887 1125 234 L 1125 234 C 1125 243.94113 1116.9411 252 1107 252 L 999 252 C 989.0589 252 981 243.94113 981 234 L 981 234 C 981 224.05887 989.0589 216 999 216 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(986 227)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="2.640625" y="11">CommutativeSemigroup</tspan>
        </text>
      </g>
      <g id="Graphic_189">
        <path d="M 513 144 L 621 144 C 630.9411 144 639 152.05887 639 162 L 639 162 C 639 171.94113 630.9411 180 621 180 L 513 180 C 503.0589 180 495 171.94113 495 162 L 495 162 C 495 152.05887 503.0589 144 513 144 Z" fill="#ff99ca"/>
        <path d="M 513 144 L 621 144 C 630.9411 144 639 152.05887 639 162 L 639 162 C 639 171.94113 630.9411 180 621 180 L 513 180 C 503.0589 180 495 171.94113 495 162 L 495 162 C 495 152.05887 503.0589 144 513 144 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(500 152)" fill="#313131">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#313131" x="56.13843" y="16">Eq</tspan>
        </text>
      </g>
      <g id="Graphic_188">
        <path d="M 1278 288 L 1386 288 C 1395.9411 288 1404 296.05887 1404 306 L 1404 306 C 1404 315.94113 1395.9411 324 1386 324 L 1278 324 C 1268.0589 324 1260 315.94113 1260 306 L 1260 306 C 1260 296.05887 1268.0589 288 1278 288 Z" fill="#ffd9eb"/>
        <path d="M 1278 288 L 1386 288 C 1395.9411 288 1404 296.05887 1404 306 L 1404 306 C 1404 315.94113 1395.9411 324 1386 324 L 1278 324 C 1268.0589 324 1260 315.94113 1260 306 L 1260 306 C 1260 296.05887 1268.0589 288 1278 288 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 299)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="50.32422" y="11">Group</tspan>
        </text>
      </g>
      <g id="Graphic_187">
        <path d="M 999 144 L 1107 144 C 1116.9411 144 1125 152.05887 1125 162 L 1125 162 C 1125 171.94113 1116.9411 180 1107 180 L 999 180 C 989.0589 180 981 171.94113 981 162 L 981 162 C 981 152.05887 989.0589 144 999 144 Z" fill="#ff99ca"/>
        <path d="M 999 144 L 1107 144 C 1116.9411 144 1125 152.05887 1125 162 L 1125 162 C 1125 171.94113 1116.9411 180 1107 180 L 999 180 C 989.0589 180 981 171.94113 981 162 L 981 162 C 981 152.05887 989.0589 144 999 144 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(986 152)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="22.607422" y="16">Semigroup</tspan>
        </text>
      </g>
      <g id="Graphic_186">
        <path d="M 1179 216 L 1287 216 C 1296.9411 216 1305 224.05887 1305 234 L 1305 234 C 1305 243.94113 1296.9411 252 1287 252 L 1179 252 C 1169.0589 252 1161 243.94113 1161 234 L 1161 234 C 1161 224.05887 1169.0589 216 1179 216 Z" fill="#ff99ca"/>
        <path d="M 1179 216 L 1287 216 C 1296.9411 216 1305 224.05887 1305 234 L 1305 234 C 1305 243.94113 1296.9411 252 1287 252 L 1179 252 C 1169.0589 252 1161 243.94113 1161 234 L 1161 234 C 1161 224.05887 1169.0589 216 1179 216 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(1166 224)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="36.789307" y="16">Monoid</tspan>
        </text>
      </g>
      <g id="Graphic_185">
        <path d="M 423 288 L 531 288 C 540.9411 288 549 296.05887 549 306 L 549 306 C 549 315.94113 540.9411 324 531 324 L 423 324 C 413.05887 324 405 315.94113 405 306 L 405 306 C 405 296.05887 413.05887 288 423 288 Z" fill="#ff99ca"/>
        <path d="M 423 288 L 531 288 C 540.9411 288 549 296.05887 549 306 L 549 306 C 549 315.94113 540.9411 324 531 324 L 423 324 C 413.05887 324 405 315.94113 405 306 L 405 306 C 405 296.05887 413.05887 288 423 288 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(410 296)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="43.85327" y="16">Order</tspan>
        </text>
      </g>
      <g id="Graphic_184">
        <path d="M 423 216 L 531 216 C 540.9411 216 549 224.05887 549 234 L 549 234 C 549 243.94113 540.9411 252 531 252 L 423 252 C 413.05887 252 405 243.94113 405 234 L 405 234 C 405 224.05887 413.05887 216 423 216 Z" fill="#ffd9eb"/>
        <path d="M 423 216 L 531 216 C 540.9411 216 549 224.05887 549 234 L 549 234 C 549 243.94113 540.9411 252 531 252 L 423 252 C 413.05887 252 405 243.94113 405 234 L 405 234 C 405 224.05887 413.05887 216 423 216 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(410 227)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="34.65625" y="11">PartialOrder</tspan>
        </text>
      </g>
      <g id="Graphic_183">
        <path d="M 918 288 L 1026 288 C 1035.9411 288 1044 296.05887 1044 306 L 1044 306 C 1044 315.94113 1035.9411 324 1026 324 L 918 324 C 908.0589 324 900 315.94113 900 306 L 900 306 C 900 296.05887 908.0589 288 918 288 Z" fill="#ffd9eb"/>
        <path d="M 918 288 L 1026 288 C 1035.9411 288 1044 296.05887 1044 306 L 1044 306 C 1044 315.94113 1035.9411 324 1026 324 L 918 324 C 908.0589 324 900 315.94113 900 306 L 900 306 C 900 296.05887 908.0589 288 918 288 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(905 299)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="37.65625" y="11">Semilattice</tspan>
        </text>
      </g>
      <g id="Line_182">
        <path d="M 903.1304 216 L 963 165 L 970.7612 164.7413" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_181">
        <line x1="1059.75" y1="360" x2="1009.6814" y2="329.18856" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_180">
        <line x1="1104.75" y1="360" x2="1129.7308" y2="331.4505" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_179">
        <line x1="1284.75" y1="360" x2="1309.7308" y2="331.4505" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_178">
        <line x1="1239.75" y1="360" x2="1189.6814" y2="329.18856" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_177">
        <line x1="1172.25" y1="288" x2="1204.7881" y2="259.0772" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_176">
        <line x1="1127.25" y1="288" x2="1085.7565" y2="257.8229" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_175">
        <line x1="1053" y1="216" x2="1053" y2="190.4" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_174">
        <line x1="1307.25" y1="288" x2="1266.444" y2="258.3229" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_173">
        <path d="M 1209.5217 216 L 1143 165 L 1135.2388 164.7413" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_172">
        <line x1="477" y1="288" x2="477" y2="261.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_171">
        <line x1="499.5" y1="216" x2="536.1444" y2="186.68448" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_170">
        <line x1="949.5" y1="288" x2="912.2306" y2="258.18448" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_169">
        <line x1="992.25" y1="288" x2="1025.3506" y2="258.5772" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_168">
        <path d="M 1278 1080 L 1386 1080 C 1395.9411 1080 1404 1088.0589 1404 1098 L 1404 1098 C 1404 1107.9411 1395.9411 1116 1386 1116 L 1278 1116 C 1268.0589 1116 1260 1107.9411 1260 1098 L 1260 1098 C 1260 1088.0589 1268.0589 1080 1278 1080 Z" fill="#78b0ff"/>
        <path d="M 1278 1080 L 1386 1080 C 1395.9411 1080 1404 1088.0589 1404 1098 L 1404 1098 C 1404 1107.9411 1395.9411 1116 1386 1116 L 1278 1116 C 1268.0589 1116 1260 1107.9411 1260 1098 L 1260 1098 C 1260 1088.0589 1268.0589 1080 1278 1080 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 1088)" fill="black">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="black" x="23.068115" y="16">Alternative</tspan>
        </text>
      </g>
      <g id="Graphic_167">
        <path d="M 1098 792 L 1206 792 C 1215.9411 792 1224 800.0589 1224 810 L 1224 810 C 1224 819.9411 1215.9411 828 1206 828 L 1098 828 C 1088.0589 828 1080 819.9411 1080 810 L 1080 810 C 1080 800.0589 1088.0589 792 1098 792 Z" fill="#77afff"/>
        <path d="M 1098 792 L 1206 792 C 1215.9411 792 1224 800.0589 1224 810 L 1224 810 C 1224 819.9411 1215.9411 828 1206 828 L 1098 828 C 1088.0589 828 1080 819.9411 1080 810 L 1080 810 C 1080 800.0589 1088.0589 792 1098 792 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(1085 800)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="21.652832" y="16">Applicative</tspan>
        </text>
      </g>
      <g id="Graphic_166">
        <path d="M 1278 864.658 L 1386 864.658 C 1395.9411 864.658 1404 872.7168 1404 882.658 L 1404 882.658 C 1404 892.5991 1395.9411 900.658 1386 900.658 L 1278 900.658 C 1268.0589 900.658 1260 892.5991 1260 882.658 L 1260 882.658 C 1260 872.7168 1268.0589 864.658 1278 864.658 Z" fill="#cadfff"/>
        <path d="M 1278 864.658 L 1386 864.658 C 1395.9411 864.658 1404 872.7168 1404 882.658 L 1404 882.658 C 1404 892.5991 1395.9411 900.658 1386 900.658 L 1278 900.658 C 1268.0589 900.658 1260 892.5991 1260 882.658 L 1260 882.658 C 1260 872.7168 1268.0589 864.658 1278 864.658 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 875.658)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="24.651367" y="11">ApplicativeError</tspan>
        </text>
      </g>
      <g id="Graphic_165">
        <path d="M 918 720 L 1026 720 C 1035.9411 720 1044 728.0589 1044 738 L 1044 738 C 1044 747.9411 1035.9411 756 1026 756 L 918 756 C 908.0589 756 900 747.9411 900 738 L 900 738 C 900 728.0589 908.0589 720 918 720 Z" fill="#cadfff"/>
        <path d="M 918 720 L 1026 720 C 1035.9411 720 1044 728.0589 1044 738 L 1044 738 C 1044 747.9411 1035.9411 756 1026 756 L 918 756 C 908.0589 756 900 747.9411 900 738 L 900 738 C 900 728.0589 908.0589 720 918 720 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(905 731)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="51.99121" y="11">Apply</tspan>
        </text>
      </g>
      <g id="Graphic_164">
        <path d="M 36 792 L 144 792 C 153.94113 792 162 800.0589 162 810 L 162 810 C 162 819.9411 153.94113 828 144 828 L 36 828 C 26.058875 828 18 819.9411 18 810 L 18 810 C 18 800.0589 26.058875 792 36 792 Z" fill="#cadfff"/>
        <path d="M 36 792 L 144 792 C 153.94113 792 162 800.0589 162 810 L 162 810 C 162 819.9411 153.94113 828 144 828 L 36 828 C 26.058875 828 18 819.9411 18 810 L 18 810 C 18 800.0589 26.058875 792 36 792 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(23 803)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="40.64746" y="11">Bifoldable</tspan>
        </text>
      </g>
      <g id="Graphic_163">
        <path d="M 738 936 L 846 936 C 855.9411 936 864 944.0589 864 954 L 864 954 C 864 963.9411 855.9411 972 846 972 L 738 972 C 728.0589 972 720 963.9411 720 954 L 720 954 C 720 944.0589 728.0589 936 738 936 Z" fill="#cadfff"/>
        <path d="M 738 936 L 846 936 C 855.9411 936 864 944.0589 864 954 L 864 954 C 864 963.9411 855.9411 972 846 972 L 738 972 C 728.0589 972 720 963.9411 720 954 L 720 954 C 720 944.0589 728.0589 936 738 936 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(725 947)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="43.319336" y="11">Bimonad</tspan>
        </text>
      </g>
      <g id="Graphic_162">
        <path d="M 126 864 L 234 864 C 243.94113 864 252 872.0589 252 882 L 252 882 C 252 891.9411 243.94113 900 234 900 L 126 900 C 116.05887 900 108 891.9411 108 882 L 108 882 C 108 872.0589 116.05887 864 126 864 Z" fill="#cadfff"/>
        <path d="M 126 864 L 234 864 C 243.94113 864 252 872.0589 252 882 L 252 882 C 252 891.9411 243.94113 900 234 900 L 126 900 C 116.05887 900 108 891.9411 108 882 L 108 882 C 108 872.0589 116.05887 864 126 864 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(113 875)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="39.99121" y="11">Bitraverse</tspan>
        </text>
      </g>
      <g id="Graphic_161">
        <path d="M 1098 576 L 1206 576 C 1215.9411 576 1224 584.0589 1224 594 L 1224 594 C 1224 603.9411 1215.9411 612 1206 612 L 1098 612 C 1088.0589 612 1080 603.9411 1080 594 L 1080 594 C 1080 584.0589 1088.0589 576 1098 576 Z" fill="#cadfff"/>
        <path d="M 1098 576 L 1206 576 C 1215.9411 576 1224 584.0589 1224 594 L 1224 594 C 1224 603.9411 1215.9411 612 1206 612 L 1098 612 C 1088.0589 612 1080 603.9411 1080 594 L 1080 594 C 1080 584.0589 1088.0589 576 1098 576 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1085 587)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="33.314453" y="11">Semigroupal</tspan>
        </text>
      </g>
      <g id="Graphic_160">
        <path d="M 558 792 L 666 792 C 675.9411 792 684 800.0589 684 810 L 684 810 C 684 819.9411 675.9411 828 666 828 L 558 828 C 548.0589 828 540 819.9411 540 810 L 540 810 C 540 800.0589 548.0589 792 558 792 Z" fill="#cadfff"/>
        <path d="M 558 792 L 666 792 C 675.9411 792 684 800.0589 684 810 L 684 810 C 684 819.9411 675.9411 828 666 828 L 558 828 C 548.0589 828 540 819.9411 540 810 L 540 810 C 540 800.0589 548.0589 792 558 792 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(545 803)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="39.654297" y="11">CoflatMap</tspan>
        </text>
      </g>
      <g id="Graphic_159">
        <path d="M 558 864 L 666 864 C 675.9411 864 684 872.0589 684 882 L 684 882 C 684 891.9411 675.9411 900 666 900 L 558 900 C 548.0589 900 540 891.9411 540 882 L 540 882 C 540 872.0589 548.0589 864 558 864 Z" fill="#cadfff"/>
        <path d="M 558 864 L 666 864 C 675.9411 864 684 872.0589 684 882 L 684 882 C 684 891.9411 675.9411 900 666 900 L 558 900 C 548.0589 900 540 891.9411 540 882 L 540 882 C 540 872.0589 548.0589 864 558 864 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(545 875)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="40.984375" y="11">Comonad</tspan>
        </text>
      </g>
      <g id="Graphic_158">
        <path d="M 1278 648 L 1386 648 C 1395.9411 648 1404 656.0589 1404 666 L 1404 666 C 1404 675.9411 1395.9411 684 1386 684 L 1278 684 C 1268.0589 684 1260 675.9411 1260 666 L 1260 666 C 1260 656.0589 1268.0589 648 1278 648 Z" fill="#cadfff"/>
        <path d="M 1278 648 L 1386 648 C 1395.9411 648 1404 656.0589 1404 666 L 1404 666 C 1404 675.9411 1395.9411 684 1386 684 L 1278 684 C 1268.0589 684 1260 675.9411 1260 666 L 1260 666 C 1260 656.0589 1268.0589 648 1278 648 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 659.5)" fill="black">
          <tspan font-family="Helvetica" font-size="11" font-weight="400" fill="black" x="3.1054688" y="10">ContravariantSemigroupal</tspan>
        </text>
      </g>
      <g id="Graphic_157">
        <path d="M 738 792 L 846 792 C 855.9411 792 864 800.0589 864 810 L 864 810 C 864 819.9411 855.9411 828 846 828 L 738 828 C 728.0589 828 720 819.9411 720 810 L 720 810 C 720 800.0589 728.0589 792 738 792 Z" fill="#cadfff"/>
        <path d="M 738 792 L 846 792 C 855.9411 792 864 800.0589 864 810 L 864 810 C 864 819.9411 855.9411 828 846 828 L 738 828 C 728.0589 828 720 819.9411 720 810 L 720 810 C 720 800.0589 728.0589 792 738 792 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(725 803)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="45.32617" y="11">FlatMap</tspan>
        </text>
      </g>
      <g id="Graphic_156">
        <path d="M 558 576 L 666 576 C 675.9411 576 684 584.0589 684 594 L 684 594 C 684 603.9411 675.9411 612 666 612 L 558 612 C 548.0589 612 540 603.9411 540 594 L 540 594 C 540 584.0589 548.0589 576 558 576 Z" fill="#77afff"/>
        <path d="M 558 576 L 666 576 C 675.9411 576 684 584.0589 684 594 L 684 594 C 684 603.9411 675.9411 612 666 612 L 558 612 C 548.0589 612 540 603.9411 540 594 L 540 594 C 540 584.0589 548.0589 576 558 576 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(545 584)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="32.05371" y="16">Foldable</tspan>
        </text>
      </g>
      <g id="Graphic_155">
        <path d="M 738 576 L 846 576 C 855.9411 576 864 584.0589 864 594 L 864 594 C 864 603.9411 855.9411 612 846 612 L 738 612 C 728.0589 612 720 603.9411 720 594 L 720 594 C 720 584.0589 728.0589 576 738 576 Z" fill="#77afff"/>
        <path d="M 738 576 L 846 576 C 855.9411 576 864 584.0589 864 594 L 864 594 C 864 603.9411 855.9411 612 846 612 L 738 612 C 728.0589 612 720 603.9411 720 594 L 720 594 C 720 584.0589 728.0589 576 738 576 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(725 584)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="35.365723" y="16">Functor</tspan>
        </text>
      </g>
      <g id="Graphic_154">
        <path d="M 36 1080 L 144 1080 C 153.94113 1080 162 1088.0589 162 1098 L 162 1098 C 162 1107.9411 153.94113 1116 144 1116 L 36 1116 C 26.058875 1116 18 1107.9411 18 1098 L 18 1098 C 18 1088.0589 26.058875 1080 36 1080 Z" fill="#cadfff"/>
        <path d="M 36 1080 L 144 1080 C 153.94113 1080 162 1088.0589 162 1098 L 162 1098 C 162 1107.9411 153.94113 1116 144 1116 L 36 1116 C 26.058875 1116 18 1107.9411 18 1098 L 18 1098 C 18 1088.0589 26.058875 1080 36 1080 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(23 1091)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="52.65918" y="11">Inject</tspan>
        </text>
      </g>
      <g id="Graphic_153">
        <path d="M 1098 648 L 1206 648 C 1215.9411 648 1224 656.0589 1224 666 L 1224 666 C 1224 675.9411 1215.9411 684 1206 684 L 1098 684 C 1088.0589 684 1080 675.9411 1080 666 L 1080 666 C 1080 656.0589 1088.0589 648 1098 648 Z" fill="#cadfff"/>
        <path d="M 1098 648 L 1206 648 C 1215.9411 648 1224 656.0589 1224 666 L 1224 666 C 1224 675.9411 1215.9411 684 1206 684 L 1098 684 C 1088.0589 684 1080 675.9411 1080 666 L 1080 666 C 1080 656.0589 1088.0589 648 1098 648 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1085 659)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="10.301758" y="11">InvariantSemigroupal</tspan>
        </text>
      </g>
      <g id="Graphic_152">
        <path d="M 918 864 L 1026 864 C 1035.9411 864 1044 872.0589 1044 882 L 1044 882 C 1044 891.9411 1035.9411 900 1026 900 L 918 900 C 908.0589 900 900 891.9411 900 882 L 900 882 C 900 872.0589 908.0589 864 918 864 Z" fill="#77afff"/>
        <path d="M 918 864 L 1026 864 C 1035.9411 864 1044 872.0589 1044 882 L 1044 882 C 1044 891.9411 1035.9411 900 1026 900 L 918 900 C 908.0589 900 900 891.9411 900 882 L 900 882 C 900 872.0589 908.0589 864 918 864 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(905 872)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="39.615723" y="16">Monad</tspan>
        </text>
      </g>
      <g id="Graphic_151">
        <path d="M 1098 936 L 1206 936 C 1215.9411 936 1224 944.0589 1224 954 L 1224 954 C 1224 963.9411 1215.9411 972 1206 972 L 1098 972 C 1088.0589 972 1080 963.9411 1080 954 L 1080 954 C 1080 944.0589 1088.0589 936 1098 936 Z" fill="#cadfff"/>
        <path d="M 1098 936 L 1206 936 C 1215.9411 936 1224 944.0589 1224 954 L 1224 954 C 1224 963.9411 1215.9411 972 1206 972 L 1098 972 C 1088.0589 972 1080 963.9411 1080 954 L 1080 954 C 1080 944.0589 1088.0589 936 1098 936 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1085 947)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="35.32129" y="11">MonadError</tspan>
        </text>
      </g>
      <g id="Graphic_150">
        <path d="M 1278 1007.658 L 1386 1007.658 C 1395.9411 1007.658 1404 1015.7168 1404 1025.658 L 1404 1025.658 C 1404 1035.5991 1395.9411 1043.658 1386 1043.658 L 1278 1043.658 C 1268.0589 1043.658 1260 1035.5991 1260 1025.658 L 1260 1025.658 C 1260 1015.7168 1268.0589 1007.658 1278 1007.658 Z" fill="#cadfff"/>
        <path d="M 1278 1007.658 L 1386 1007.658 C 1395.9411 1007.658 1404 1015.7168 1404 1025.658 L 1404 1025.658 C 1404 1035.5991 1395.9411 1043.658 1386 1043.658 L 1278 1043.658 C 1268.0589 1043.658 1260 1035.5991 1260 1025.658 L 1260 1025.658 C 1260 1015.7168 1268.0589 1007.658 1278 1007.658 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 1018.658)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="43.319336" y="11">MonoidK</tspan>
        </text>
      </g>
      <g id="Graphic_149">
        <path d="M 36 1008 L 144 1008 C 153.94113 1008 162 1016.0589 162 1026 L 162 1026 C 162 1035.9411 153.94113 1044 144 1044 L 36 1044 C 26.058875 1044 18 1035.9411 18 1026 L 18 1026 C 18 1016.0589 26.058875 1008 36 1008 Z" fill="#cadfff"/>
        <path d="M 36 1008 L 144 1008 C 153.94113 1008 162 1016.0589 162 1026 L 162 1026 C 162 1035.9411 153.94113 1044 144 1044 L 36 1044 C 26.058875 1044 18 1035.9411 18 1026 L 18 1026 C 18 1016.0589 26.058875 1008 36 1008 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(23 1019)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="47.32715" y="11">NotNull</tspan>
        </text>
      </g>
      <g id="Graphic_148">
        <path d="M 450 648 L 558 648 C 567.9411 648 576 656.0589 576 666 L 576 666 C 576 675.9411 567.9411 684 558 684 L 450 684 C 440.0589 684 432 675.9411 432 666 L 432 666 C 432 656.0589 440.0589 648 450 648 Z" fill="#cadfff"/>
        <path d="M 450 648 L 558 648 C 567.9411 648 576 656.0589 576 666 L 576 666 C 576 675.9411 567.9411 684 558 684 L 450 684 C 440.0589 684 432 675.9411 432 666 L 432 666 C 432 656.0589 440.0589 648 450 648 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(437 659)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="40.316406" y="11">Reducible</tspan>
        </text>
      </g>
      <g id="Graphic_147">
        <path d="M 1278 935.658 L 1386 935.658 C 1395.9411 935.658 1404 943.7168 1404 953.658 L 1404 953.658 C 1404 963.5991 1395.9411 971.658 1386 971.658 L 1278 971.658 C 1268.0589 971.658 1260 963.5991 1260 953.658 L 1260 953.658 C 1260 943.7168 1268.0589 935.658 1278 935.658 Z" fill="#cadfff"/>
        <path d="M 1278 935.658 L 1386 935.658 C 1395.9411 935.658 1404 943.7168 1404 953.658 L 1404 953.658 C 1404 963.5991 1395.9411 971.658 1386 971.658 L 1278 971.658 C 1268.0589 971.658 1260 963.5991 1260 953.658 L 1260 953.658 C 1260 943.7168 1268.0589 935.658 1278 935.658 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 946.658)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="33.98242" y="11">SemigroupK</tspan>
        </text>
      </g>
      <g id="Graphic_146">
        <path d="M 216 1008 L 324 1008 C 333.94113 1008 342 1016.0589 342 1026 L 342 1026 C 342 1035.9411 333.94113 1044 324 1044 L 216 1044 C 206.05887 1044 198 1035.9411 198 1026 L 198 1026 C 198 1016.0589 206.05887 1008 216 1008 Z" fill="#cadfff"/>
        <path d="M 216 1008 L 324 1008 C 333.94113 1008 342 1016.0589 342 1026 L 342 1026 C 342 1035.9411 333.94113 1044 324 1044 L 216 1044 C 206.05887 1044 198 1035.9411 198 1026 L 198 1026 C 198 1016.0589 206.05887 1008 216 1008 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(203 1019)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="51.99121" y="11">Show</tspan>
        </text>
      </g>
      <g id="Graphic_145">
        <path d="M 63 1341 L 171 1341 C 180.94113 1341 189 1349.0589 189 1359 L 189 1359 C 189 1368.9411 180.94113 1377 171 1377 L 63 1377 C 53.058875 1377 45 1368.9411 45 1359 L 45 1359 C 45 1349.0589 53.058875 1341 63 1341 Z" fill="#ffc0c0"/>
        <path d="M 63 1341 L 171 1341 C 180.94113 1341 189 1349.0589 189 1359 L 189 1359 C 189 1368.9411 180.94113 1377 171 1377 L 63 1377 C 53.058875 1377 45 1368.9411 45 1359 L 45 1359 C 45 1349.0589 53.058875 1341 63 1341 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(50 1352)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="27.982422" y="11">ApplicativeAsk</tspan>
        </text>
      </g>
      <g id="Line_144">
        <path d="M 1260 1098 L 1242 1098 L 1242 923.829 L 1242 851.829 L 1242 816.3443" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_143">
        <line x1="1332" y1="1080" x2="1332" y2="1053.558" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_142">
        <line x1="1107" y1="792" x2="1026.1919" y2="759.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_141">
        <line x1="1287.4075" y1="864.658" x2="1207.0115" y2="832.2057" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_140">
        <path d="M 972 720 L 972 666 L 847.4419 616.1768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_139">
        <path d="M 972 720 L 972 666 L 1097.8081 615.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_138">
        <path d="M 837 936 L 876.8934 920.0426 L 907.3662 907.8535" marker-end="url(#FilledArrow_Marker_2)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_137">
        <line x1="747" y1="936" x2="666.1919" y2="903.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_136">
        <path d="M 216 792 L 324 792 C 333.94113 792 342 800.0589 342 810 L 342 810 C 342 819.9411 333.94113 828 324 828 L 216 828 C 206.05887 828 198 819.9411 198 810 L 198 810 C 198 800.0589 206.05887 792 216 792 Z" fill="#cadfff"/>
        <path d="M 216 792 L 324 792 C 333.94113 792 342 800.0589 342 810 L 342 810 C 342 819.9411 333.94113 828 324 828 L 216 828 C 206.05887 828 198 819.9411 198 810 L 198 810 C 198 800.0589 206.05887 792 216 792 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(203 803)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="43.322266" y="11">Bifunctor</tspan>
        </text>
      </g>
      <g id="Graphic_135">
        <path d="M 1278 576 L 1386 576 C 1395.9411 576 1404 584.0589 1404 594 L 1404 594 C 1404 603.9411 1395.9411 612 1386 612 L 1278 612 C 1268.0589 612 1260 603.9411 1260 594 L 1260 594 C 1260 584.0589 1268.0589 576 1278 576 Z" fill="#cadfff"/>
        <path d="M 1278 576 L 1386 576 C 1395.9411 576 1404 584.0589 1404 594 L 1404 594 C 1404 603.9411 1395.9411 612 1386 612 L 1278 612 C 1268.0589 612 1260 603.9411 1260 594 L 1260 594 C 1260 584.0589 1268.0589 576 1278 576 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 587)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="30.982422" y="11">Contravariant</tspan>
        </text>
      </g>
      <g id="Graphic_134">
        <path d="M 918 504 L 1026 504 C 1035.9411 504 1044 512.0589 1044 522 L 1044 522 C 1044 531.9411 1035.9411 540 1026 540 L 918 540 C 908.0589 540 900 531.9411 900 522 L 900 522 C 900 512.0589 908.0589 504 918 504 Z" fill="#cadfff"/>
        <path d="M 918 504 L 1026 504 C 1035.9411 504 1044 512.0589 1044 522 L 1044 522 C 1044 531.9411 1035.9411 540 1026 540 L 918 540 C 908.0589 540 900 531.9411 900 522 L 900 522 C 900 512.0589 908.0589 504 918 504 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(905 515)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="43.987305" y="11">Invariant</tspan>
        </text>
      </g>
      <g id="Graphic_133">
        <path d="M 306 434 L 414 434 C 423.94113 434 432 442.0589 432 452 L 432 452 C 432 461.9411 423.94113 470 414 470 L 306 470 C 296.05887 470 288 461.9411 288 452 L 288 452 C 288 442.0589 296.05887 434 306 434 Z" fill="#fdf5b8"/>
        <path d="M 306 434 L 414 434 C 423.94113 434 432 442.0589 432 452 L 432 452 C 432 461.9411 423.94113 470 414 470 L 306 470 C 296.05887 470 288 461.9411 288 452 L 288 452 C 288 442.0589 296.05887 434 306 434 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(293 445)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="39.320313" y="11">Profunctor</tspan>
        </text>
      </g>
      <g id="Graphic_132">
        <path d="M 306 506 L 414 506 C 423.94113 506 432 514.0589 432 524 L 432 524 C 432 533.9411 423.94113 542 414 542 L 306 542 C 296.05887 542 288 533.9411 288 524 L 288 524 C 288 514.0589 296.05887 506 306 506 Z" fill="#fdf5b8"/>
        <path d="M 306 506 L 414 506 C 423.94113 506 432 514.0589 432 524 L 432 524 C 432 533.9411 423.94113 542 414 542 L 306 542 C 296.05887 542 288 533.9411 288 524 L 288 524 C 288 514.0589 296.05887 506 306 506 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(293 517)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="49.322266" y="11">Strong</tspan>
        </text>
      </g>
      <g id="Line_131">
        <path d="M 1332 576 L 1332 522 L 1053.9 522" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_130">
        <line x1="360" y1="506" x2="360" y2="479.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_129">
        <line x1="157.5" y1="864" x2="120.2306" y2="834.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_128">
        <line x1="202.5" y1="864" x2="239.7694" y2="834.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_127">
        <line x1="612" y1="864" x2="612" y2="837.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_126">
        <line x1="1287" y1="648" x2="1206.1919" y2="615.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_125">
        <line x1="1332" y1="648" x2="1332" y2="621.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_124">
        <line x1="837" y1="792" x2="917.8081" y2="759.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_123">
        <line x1="837" y1="576" x2="917.8081" y2="543.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_122">
        <line x1="1152" y1="648" x2="1152" y2="621.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_121">
        <line x1="927" y1="864" x2="846.1919" y2="831.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_120">
        <line x1="1017" y1="864" x2="1096.5581" y2="832.1768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_119">
        <line x1="1197.415" y1="936" x2="1277.3815" y2="904.3057" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_118">
        <line x1="1107" y1="936" x2="1027.4419" y2="904.1768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_117">
        <line x1="1332" y1="1007.658" x2="1332" y2="981.558" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_116">
        <line x1="531" y1="648" x2="576.0127" y2="617.9915" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_115">
        <path d="M 648 648 L 756 648 C 765.9411 648 774 656.0589 774 666 L 774 666 C 774 675.9411 765.9411 684 756 684 L 648 684 C 638.0589 684 630 675.9411 630 666 L 630 666 C 630 656.0589 638.0589 648 648 648 Z" fill="#77afff"/>
        <path d="M 648 648 L 756 648 C 765.9411 648 774 656.0589 774 666 L 774 666 C 774 675.9411 765.9411 684 756 684 L 648 684 C 638.0589 684 630 675.9411 630 666 L 630 666 C 630 656.0589 638.0589 648 648 648 Z" stroke="#515151" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(635 656)" fill="#343434">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#343434" x="32.020508" y="16">Traverse</tspan>
        </text>
      </g>
      <g id="Line_114">
        <line x1="724.5" y1="648" x2="761.1444" y2="618.6845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_113">
        <line x1="679.5" y1="648" x2="642.8556" y2="618.6845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_112">
        <path d="M 216 578 L 324 578 C 333.94113 578 342 586.0589 342 596 L 342 596 C 342 605.9411 333.94113 614 324 614 L 216 614 C 206.05887 614 198 605.9411 198 596 L 198 596 C 198 586.0589 206.05887 578 216 578 Z" fill="#fdf6b8"/>
        <path d="M 216 578 L 324 578 C 333.94113 578 342 586.0589 342 596 L 342 596 C 342 605.9411 333.94113 614 324 614 L 216 614 C 206.05887 614 198 605.9411 198 596 L 198 596 C 198 586.0589 206.05887 578 216 578 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(203 589)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="51.33203" y="11">Arrow</tspan>
        </text>
      </g>
      <g id="Graphic_111">
        <path d="M 126 506 L 234 506 C 243.94113 506 252 514.0589 252 524 L 252 524 C 252 533.9411 243.94113 542 234 542 L 126 542 C 116.05887 542 108 533.9411 108 524 L 108 524 C 108 514.0589 116.05887 506 126 506 Z" fill="#fdf6b8"/>
        <path d="M 126 506 L 234 506 C 243.94113 506 252 514.0589 252 524 L 252 524 C 252 533.9411 243.94113 542 234 542 L 126 542 C 116.05887 542 108 533.9411 108 524 L 108 524 C 108 514.0589 116.05887 506 126 506 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(113 517)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="42.654297" y="11">Category</tspan>
        </text>
      </g>
      <g id="Graphic_110">
        <path d="M 36 578 L 144 578 C 153.94113 578 162 586.0589 162 596 L 162 596 C 162 605.9411 153.94113 614 144 614 L 36 614 C 26.058875 614 18 605.9411 18 596 L 18 596 C 18 586.0589 26.058875 578 36 578 Z" fill="#fdf6b8"/>
        <path d="M 36 578 L 144 578 C 153.94113 578 162 586.0589 162 596 L 162 596 C 162 605.9411 153.94113 614 144 614 L 36 614 C 26.058875 614 18 605.9411 18 596 L 18 596 C 18 586.0589 26.058875 578 36 578 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(23 589)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="48.32324" y="11">Choice</tspan>
        </text>
      </g>
      <g id="Graphic_109">
        <path d="M 126 434 L 234 434 C 243.94113 434 252 442.0589 252 452 L 252 452 C 252 461.9411 243.94113 470 234 470 L 126 470 C 116.05887 470 108 461.9411 108 452 L 108 452 C 108 442.0589 116.05887 434 126 434 Z" fill="#fdf6b8"/>
        <path d="M 126 434 L 234 434 C 243.94113 434 252 442.0589 252 452 L 252 452 C 252 461.9411 243.94113 470 234 470 L 126 470 C 116.05887 470 108 461.9411 108 452 L 108 452 C 108 442.0589 116.05887 434 126 434 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(113 445)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="41.32129" y="11">Compose</tspan>
        </text>
      </g>
      <g id="Line_108">
        <line x1="292.5" y1="578" x2="329.7694" y2="548.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_107">
        <line x1="247.5" y1="578" x2="210.2306" y2="548.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_106">
        <line x1="180" y1="506" x2="180" y2="479.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_105">
        <line x1="112.5" y1="578" x2="149.7694" y2="548.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_104">
        <text transform="translate(32 32)" fill="black">
          <tspan font-family="Helvetica" font-size="24" font-weight="700" fill="black" x=".33007812" y="23">Cats Type Classes</tspan>
        </text>
      </g>
      <g id="Graphic_103">
        <path d="M 55.285714 81 L 117 81 C 121.97056 81 126 85.02944 126 90 L 126 90 C 126 94.97056 121.97056 99 117 99 L 55.285714 99 C 50.31515 99 46.285714 94.97056 46.285714 90 L 46.285714 90 C 46.285714 85.02944 50.31515 81 55.285714 81 Z" fill="#ffd9eb"/>
        <path d="M 55.285714 81 L 117 81 C 121.97056 81 126 85.02944 126 90 L 126 90 C 126 94.97056 121.97056 99 117 99 L 55.285714 99 C 50.31515 99 46.285714 94.97056 46.285714 90 L 46.285714 90 C 46.285714 85.02944 50.31515 81 55.285714 81 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(51.285714 83)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="18.515346" y="11">kernel</tspan>
        </text>
      </g>
      <g id="Graphic_102">
        <path d="M 55.285714 135 L 117 135 C 121.97056 135 126 139.02944 126 144 L 126 144 C 126 148.97056 121.97056 153 117 153 L 55.285714 153 C 50.31515 153 46.285714 148.97056 46.285714 144 L 46.285714 144 C 46.285714 139.02944 50.31515 135 55.285714 135 Z" fill="#fdf6b8"/>
        <path d="M 55.285714 135 L 117 135 C 121.97056 135 126 139.02944 126 144 L 126 144 C 126 148.97056 121.97056 153 117 153 L 55.285714 153 C 50.31515 153 46.285714 148.97056 46.285714 144 L 46.285714 144 C 46.285714 139.02944 50.31515 135 55.285714 135 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(51.285714 137)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="6.515346" y="11">core/arrow</tspan>
        </text>
      </g>
      <g id="Graphic_101">
        <path d="M 145.28571 81 L 207 81 C 211.97056 81 216 85.02944 216 90 L 216 90 C 216 94.97056 211.97056 99 207 99 L 145.28571 99 C 140.31515 99 136.28571 94.97056 136.28571 90 L 136.28571 90 C 136.28571 85.02944 140.31515 81 145.28571 81 Z" fill="#cadfff"/>
        <path d="M 145.28571 81 L 207 81 C 211.97056 81 216 85.02944 216 90 L 216 90 C 216 94.97056 211.97056 99 207 99 L 145.28571 99 C 140.31515 99 136.28571 94.97056 136.28571 90 L 136.28571 90 C 136.28571 85.02944 140.31515 81 145.28571 81 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(141.28571 83)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="23.185268" y="11">core</tspan>
        </text>
      </g>
      <g id="Graphic_100">
        <text transform="translate(455 59.23535)" fill="black">
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="11">The highlighted type classes are the first ones </tspan>
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="25.509766">you should learn. They’re well documented </tspan>
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="40.01953">and well-known so it’s easy to get help.</tspan>
        </text>
      </g>
      <g id="Line_99">
        <line x1="567" y1="108" x2="567" y2="143.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="1.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_98">
        <text transform="translate(986 95.5)" fill="black">
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="41.713867" y="11">a |+| b</tspan>
        </text>
      </g>
      <g id="Line_97">
        <line x1="1053" y1="115" x2="1053" y2="143.5" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="1.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_96">
        <text transform="translate(401 149)" fill="black">
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="2.4277344" y="11">a === b</tspan>
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="2.4277344" y="25">a =!= b</tspan>
        </text>
      </g>
      <g id="Line_95">
        <line x1="459" y1="162.7742" x2="494.50716" y2="162.51966" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="1.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_94">
        <text transform="translate(113 376)" fill="black">
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="41.713867" y="11">a &gt;&gt;&gt; b</tspan>
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="41.713867" y="25">a &lt;&lt;&lt; b</tspan>
        </text>
      </g>
      <g id="Line_93">
        <line x1="180" y1="409" x2="180" y2="434" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="1.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_92">
        <text transform="translate(311 207.67568)" fill="black">
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="16.876953" y="11">a &gt; b</tspan>
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="9.652344" y="25">a &gt;= b</tspan>
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="16.876953" y="39">a &lt; b</tspan>
          <tspan font-family="Menlo" font-size="12" font-weight="400" fill="black" x="9.652344" y="53">a &lt;= b</tspan>
        </text>
      </g>
      <g id="Line_91">
        <line x1="369" y1="235.2973" x2="405.0204" y2="234.86462" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="1.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_90">
        <path d="M 1008 1080 L 1116 1080 C 1125.9411 1080 1134 1088.0589 1134 1098 L 1134 1098 C 1134 1107.9411 1125.9411 1116 1116 1116 L 1008 1116 C 998.0589 1116 990 1107.9411 990 1098 L 990 1098 C 990 1088.0589 998.0589 1080 1008 1080 Z" fill="#ffe1c9"/>
        <path d="M 1008 1080 L 1116 1080 C 1125.9411 1080 1134 1088.0589 1134 1098 L 1134 1098 C 1134 1107.9411 1125.9411 1116 1116 1116 L 1008 1116 C 998.0589 1116 990 1107.9411 990 1098 L 990 1098 C 990 1088.0589 998.0589 1080 1008 1080 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(995 1091)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="53.66113" y="11">Sync</tspan>
        </text>
      </g>
      <g id="Graphic_89">
        <path d="M 918 1152 L 1026 1152 C 1035.9411 1152 1044 1160.0589 1044 1170 L 1044 1170 C 1044 1179.9411 1035.9411 1188 1026 1188 L 918 1188 C 908.0589 1188 900 1179.9411 900 1170 L 900 1170 C 900 1160.0589 908.0589 1152 918 1152 Z" fill="#ffe1c9"/>
        <path d="M 918 1152 L 1026 1152 C 1035.9411 1152 1044 1160.0589 1044 1170 L 1044 1170 C 1044 1179.9411 1035.9411 1188 1026 1188 L 918 1188 C 908.0589 1188 900 1179.9411 900 1170 L 900 1170 C 900 1160.0589 908.0589 1152 918 1152 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(905 1163)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="50.66113" y="11">Async</tspan>
        </text>
      </g>
      <g id="Graphic_88">
        <path d="M 828 1224 L 936 1224 C 945.9411 1224 954 1232.0589 954 1242 L 954 1242 C 954 1251.9411 945.9411 1260 936 1260 L 828 1260 C 818.0589 1260 810 1251.9411 810 1242 L 810 1242 C 810 1232.0589 818.0589 1224 828 1224 Z" fill="#ffe1c9"/>
        <path d="M 828 1224 L 936 1224 C 945.9411 1224 954 1232.0589 954 1242 L 954 1242 C 954 1251.9411 945.9411 1260 936 1260 L 828 1260 C 818.0589 1260 810 1251.9411 810 1242 L 810 1242 C 810 1232.0589 818.0589 1224 828 1224 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(815 1235)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="51.765625" y="11">Effect</tspan>
        </text>
      </g>
      <g id="Graphic_87">
        <path d="M 828 1080 L 936 1080 C 945.9411 1080 954 1088.0589 954 1098 L 954 1098 C 954 1107.9411 945.9411 1116 936 1116 L 828 1116 C 818.0589 1116 810 1107.9411 810 1098 L 810 1098 C 810 1088.0589 818.0589 1080 828 1080 Z" fill="#ffe1c9"/>
        <path d="M 828 1080 L 936 1080 C 945.9411 1080 954 1088.0589 954 1098 L 954 1098 C 954 1107.9411 945.9411 1116 936 1116 L 828 1116 C 818.0589 1116 810 1107.9411 810 1098 L 810 1098 C 810 1088.0589 818.0589 1080 828 1080 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(815 1091)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="52.66211" y="11">LiftIO</tspan>
        </text>
      </g>
      <g id="Line_86">
        <line x1="1084.5" y1="1080" x2="1121.7694" y2="1050.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_85">
        <line x1="994.5" y1="1152" x2="1031.7694" y2="1122.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_84">
        <line x1="904.5" y1="1224" x2="941.7694" y2="1194.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_83">
        <line x1="949.5" y1="1152" x2="912.2306" y2="1122.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_82">
        <path d="M 145.28571 108 L 207 108 C 211.97056 108 216 112.02944 216 117 L 216 117 C 216 121.97056 211.97056 126 207 126 L 145.28571 126 C 140.31515 126 136.28571 121.97056 136.28571 117 L 136.28571 117 C 136.28571 112.02944 140.31515 108 145.28571 108 Z" fill="#ffe1c9"/>
        <path d="M 145.28571 108 L 207 108 C 211.97056 108 216 112.02944 216 117 L 216 117 C 216 121.97056 211.97056 126 207 126 L 145.28571 126 C 140.31515 126 136.28571 121.97056 136.28571 117 L 136.28571 117 C 136.28571 112.02944 140.31515 108 145.28571 108 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(141.28571 110)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="20.287807" y="11">effect</tspan>
        </text>
      </g>
      <g id="Graphic_81">
        <text transform="translate(131.5 221.49023)" fill="black">
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="11">Some type classes introduce </tspan>
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="25.509766">symbolic operators.</tspan>
        </text>
      </g>
      <g id="Line_80">
        <line x1="279" y1="235.81648" x2="306" y2="235.7515" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="1.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_79">
        <path d="M 558 720 L 666 720 C 675.9411 720 684 728.0589 684 738 L 684 738 C 684 747.9411 675.9411 756 666 756 L 558 756 C 548.0589 756 540 747.9411 540 738 L 540 738 C 540 728.0589 548.0589 720 558 720 Z" fill="#cadfff"/>
        <path d="M 558 720 L 666 720 C 675.9411 720 684 728.0589 684 738 L 684 738 C 684 747.9411 675.9411 756 666 756 L 558 756 C 548.0589 756 540 747.9411 540 738 L 540 738 C 540 728.0589 548.0589 720 558 720 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(545 731)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="15.53711" y="11">NonEmptyTraverse</tspan>
        </text>
      </g>
      <g id="Line_78">
        <line x1="585" y1="720" x2="539.2373" y2="689.4915" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_77">
        <line x1="634.5" y1="720" x2="671.1444" y2="690.6845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_76">
        <path d="M 216 1080 L 324 1080 C 333.94113 1080 342 1088.0589 342 1098 L 342 1098 C 342 1107.9411 333.94113 1116 324 1116 L 216 1116 C 206.05887 1116 198 1107.9411 198 1098 L 198 1098 C 198 1088.0589 206.05887 1080 216 1080 Z" fill="#cadfff"/>
        <path d="M 216 1080 L 324 1080 C 333.94113 1080 342 1088.0589 342 1098 L 342 1098 C 342 1107.9411 333.94113 1116 324 1116 L 216 1116 C 206.05887 1116 198 1107.9411 198 1098 L 198 1098 C 198 1088.0589 206.05887 1080 216 1080 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(203 1091)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="48.657227" y="11">InjectK</tspan>
        </text>
      </g>
      <g id="Graphic_75">
        <path d="M 216 648 L 324 648 C 333.94113 648 342 656.0589 342 666 L 342 666 C 342 675.9411 333.94113 684 324 684 L 216 684 C 206.05887 684 198 675.9411 198 666 L 198 666 C 198 656.0589 206.05887 648 216 648 Z" fill="#fdf6b8"/>
        <path d="M 216 648 L 324 648 C 333.94113 648 342 656.0589 342 666 L 342 666 C 342 675.9411 333.94113 684 324 684 L 216 684 C 206.05887 684 198 675.9411 198 666 L 198 666 C 198 656.0589 206.05887 648 216 648 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(203 659)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="15.988281" y="11">CommutativeArrow</tspan>
        </text>
      </g>
      <g id="Line_74">
        <line x1="270" y1="648" x2="270" y2="623.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_73">
        <path d="M 738 864 L 846 864 C 855.9411 864 864 872.0589 864 882 L 864 882 C 864 891.9411 855.9411 900 846 900 L 738 900 C 728.0589 900 720 891.9411 720 882 L 720 882 C 720 872.0589 728.0589 864 738 864 Z" fill="#cadfff"/>
        <path d="M 738 864 L 846 864 C 855.9411 864 864 872.0589 864 882 L 864 882 C 864 891.9411 855.9411 900 846 900 L 738 900 C 728.0589 900 720 891.9411 720 882 L 720 882 C 720 872.0589 728.0589 864 738 864 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(725 875)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="9.982422" y="11">CommutativeFlatMap</tspan>
        </text>
      </g>
      <g id="Line_72">
        <line x1="792" y1="864" x2="792" y2="837.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_71">
        <path d="M 918 936 L 1026 936 C 1035.9411 936 1044 944.0589 1044 954 L 1044 954 C 1044 963.9411 1035.9411 972 1026 972 L 918 972 C 908.0589 972 900 963.9411 900 954 L 900 954 C 900 944.0589 908.0589 936 918 936 Z" fill="#cadfff"/>
        <path d="M 918 936 L 1026 936 C 1035.9411 936 1044 944.0589 1044 954 L 1044 954 C 1044 963.9411 1035.9411 972 1026 972 L 918 972 C 908.0589 972 900 963.9411 900 954 L 900 954 C 900 944.0589 908.0589 936 918 936 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(905 947)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="13.310547" y="11">CommutativeMonad</tspan>
        </text>
      </g>
      <g id="Line_70">
        <line x1="972" y1="936" x2="972" y2="910.4" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_69">
        <line x1="927" y1="936" x2="846.1919" y2="903.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_68">
        <line x1="139.89043" y1="1340.6877" x2="175.98853" y2="1311.8092" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_67">
        <path d="M 333 1484.6636 L 441 1484.6636 C 450.9411 1484.6636 459 1492.7225 459 1502.6636 L 459 1502.6636 C 459 1512.6047 450.9411 1520.6636 441 1520.6636 L 333 1520.6636 C 323.05887 1520.6636 315 1512.6047 315 1502.6636 L 315 1502.6636 C 315 1492.7225 323.05887 1484.6636 333 1484.6636 Z" fill="#ffc0c0"/>
        <path d="M 333 1484.6636 L 441 1484.6636 C 450.9411 1484.6636 459 1492.7225 459 1502.6636 L 459 1502.6636 C 459 1512.6047 450.9411 1520.6636 441 1520.6636 L 333 1520.6636 C 323.05887 1520.6636 315 1512.6047 315 1502.6636 L 315 1502.6636 C 315 1492.7225 323.05887 1484.6636 333 1484.6636 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(320 1495.6636)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="22.975586" y="11">ApplicativeLayer</tspan>
        </text>
      </g>
      <g id="Line_66">
        <path d="M 366.92754 1484.3264 L 279 1404 L 279 1350 L 235.77451 1312.1777" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_65">
        <path d="M 423 1413 L 531 1413 C 540.9411 1413 549 1421.0589 549 1431 L 549 1431 C 549 1440.9411 540.9411 1449 531 1449 L 423 1449 C 413.05887 1449 405 1440.9411 405 1431 L 405 1431 C 405 1421.0589 413.05887 1413 423 1413 Z" fill="#ffc0c0"/>
        <path d="M 423 1413 L 531 1413 C 540.9411 1413 549 1421.0589 549 1431 L 549 1431 C 549 1440.9411 540.9411 1449 531 1449 L 423 1449 C 413.05887 1449 405 1440.9411 405 1431 L 405 1431 C 405 1421.0589 413.05887 1413 423 1413 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(410 1424)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="31.65039" y="11">FunctorLayer</tspan>
        </text>
      </g>
      <g id="Line_64">
        <line x1="409.6056" y1="1484.6636" x2="446.6497" y2="1455.1668" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_63">
        <line x1="477" y1="1412.5" x2="477" y2="1315.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_62">
        <path d="M 423 1557 L 531 1557 C 540.9411 1557 549 1565.0589 549 1575 L 549 1575 C 549 1584.9411 540.9411 1593 531 1593 L 423 1593 C 413.05887 1593 405 1584.9411 405 1575 L 405 1575 C 405 1565.0589 413.05887 1557 423 1557 Z" fill="#ffc0c0"/>
        <path d="M 423 1557 L 531 1557 C 540.9411 1557 549 1565.0589 549 1575 L 549 1575 C 549 1584.9411 540.9411 1593 531 1593 L 423 1593 C 413.05887 1593 405 1584.9411 405 1575 L 405 1575 C 405 1565.0589 413.05887 1557 423 1557 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(410 1568)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="2.6347656" y="11">ApplicativeLayerFunctor</tspan>
        </text>
      </g>
      <g id="Line_61">
        <line x1="454.60464" y1="1557" x2="417.1119" y2="1526.8657" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_60">
        <path d="M 513 1484.6636 L 621 1484.6636 C 630.9411 1484.6636 639 1492.7225 639 1502.6636 L 639 1502.6636 C 639 1512.6047 630.9411 1520.6636 621 1520.6636 L 513 1520.6636 C 503.0589 1520.6636 495 1512.6047 495 1502.6636 L 495 1502.6636 C 495 1492.7225 503.0589 1484.6636 513 1484.6636 Z" fill="#ffc0c0"/>
        <path d="M 513 1484.6636 L 621 1484.6636 C 630.9411 1484.6636 639 1492.7225 639 1502.6636 L 639 1502.6636 C 639 1512.6047 630.9411 1520.6636 621 1520.6636 L 513 1520.6636 C 503.0589 1520.6636 495 1512.6047 495 1502.6636 L 495 1502.6636 C 495 1492.7225 503.0589 1484.6636 513 1484.6636 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(500 1495.6636)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="11.30957" y="11">FunctorLayerFunctor</tspan>
        </text>
      </g>
      <g id="Line_59">
        <line x1="499.39536" y1="1557" x2="536.8881" y2="1526.8657" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_58">
        <line x1="544.3944" y1="1484.6636" x2="507.3503" y2="1455.1668" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_57">
        <path d="M 63 1413 L 171 1413 C 180.94113 1413 189 1421.0589 189 1431 L 189 1431 C 189 1440.9411 180.94113 1449 171 1449 L 63 1449 C 53.058875 1449 45 1440.9411 45 1431 L 45 1431 C 45 1421.0589 53.058875 1413 63 1413 Z" fill="#ffc0c0"/>
        <path d="M 63 1413 L 171 1413 C 180.94113 1413 189 1421.0589 189 1431 L 189 1431 C 189 1440.9411 180.94113 1449 171 1449 L 63 1449 C 53.058875 1449 45 1440.9411 45 1431 L 45 1431 C 45 1421.0589 53.058875 1413 63 1413 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(50 1424)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="23.640625" y="11">ApplicativeLocal</tspan>
        </text>
      </g>
      <g id="Line_56">
        <line x1="117" y1="1413" x2="117" y2="1386.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_55">
        <path d="M 513 1341 L 621 1341 C 630.9411 1341 639 1349.0589 639 1359 L 639 1359 C 639 1368.9411 630.9411 1377 621 1377 L 513 1377 C 503.0589 1377 495 1368.9411 495 1359 L 495 1359 C 495 1349.0589 503.0589 1341 513 1341 Z" fill="#ffc0c0"/>
        <path d="M 513 1341 L 621 1341 C 630.9411 1341 639 1349.0589 639 1359 L 639 1359 C 639 1368.9411 630.9411 1377 621 1377 L 513 1377 C 503.0589 1377 495 1368.9411 495 1359 L 495 1359 C 495 1349.0589 503.0589 1341 513 1341 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(500 1352)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="29.655273" y="11">FunctorEmpty</tspan>
        </text>
      </g>
      <g id="Line_54">
        <line x1="544.10957" y1="1340.6877" x2="508.0115" y2="1311.8092" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_53">
        <path d="M 693 1485 L 801 1485 C 810.9411 1485 819 1493.0589 819 1503 L 819 1503 C 819 1512.9411 810.9411 1521 801 1521 L 693 1521 C 683.0589 1521 675 1512.9411 675 1503 L 675 1503 C 675 1493.0589 683.0589 1485 693 1485 Z" fill="#ffc0c0"/>
        <path d="M 693 1485 L 801 1485 C 810.9411 1485 819 1493.0589 819 1503 L 819 1503 C 819 1512.9411 810.9411 1521 801 1521 L 693 1521 C 683.0589 1521 675 1512.9411 675 1503 L 675 1503 C 675 1493.0589 683.0589 1485 693 1485 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(680 1496)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="30.648438" y="11">FunctorListen</tspan>
        </text>
      </g>
      <g id="Graphic_52">
        <path d="M 693 1413 L 801 1413 C 810.9411 1413 819 1421.0589 819 1431 L 819 1431 C 819 1440.9411 810.9411 1449 801 1449 L 693 1449 C 683.0589 1449 675 1440.9411 675 1431 L 675 1431 C 675 1421.0589 683.0589 1413 693 1413 Z" fill="#ffc0c0"/>
        <path d="M 693 1413 L 801 1413 C 810.9411 1413 819 1421.0589 819 1431 L 819 1431 C 819 1440.9411 810.9411 1449 801 1449 L 693 1449 C 683.0589 1449 675 1440.9411 675 1431 L 675 1431 C 675 1421.0589 683.0589 1413 693 1413 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(680 1424)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="37.65625" y="11">FunctorTell</tspan>
        </text>
      </g>
      <g id="Line_51">
        <path d="M 734.0184 1412.5914 L 652.584 1297.1129 L 648 1287 L 559.9 1287" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Line_50">
        <line x1="747" y1="1485" x2="747" y2="1458.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_49">
        <path d="M 333 1341 L 441 1341 C 450.9411 1341 459 1349.0589 459 1359 L 459 1359 C 459 1368.9411 450.9411 1377 441 1377 L 333 1377 C 323.05887 1377 315 1368.9411 315 1359 L 315 1359 C 315 1349.0589 323.05887 1341 333 1341 Z" fill="#ffc0c0"/>
        <path d="M 333 1341 L 441 1341 C 450.9411 1341 459 1349.0589 459 1359 L 459 1359 C 459 1368.9411 450.9411 1377 441 1377 L 333 1377 C 323.05887 1377 315 1368.9411 315 1359 L 315 1359 C 315 1349.0589 323.05887 1341 333 1341 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(320 1352)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="31.319336" y="11">FunctorRaise</tspan>
        </text>
      </g>
      <g id="Line_48">
        <line x1="409.89043" y1="1340.6877" x2="445.98853" y2="1311.8092" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_47">
        <path d="M 243 1557 L 351 1557 C 360.94113 1557 369 1565.0589 369 1575 L 369 1575 C 369 1584.9411 360.94113 1593 351 1593 L 243 1593 C 233.05887 1593 225 1584.9411 225 1575 L 225 1575 C 225 1565.0589 233.05887 1557 243 1557 Z" fill="#ffc0c0"/>
        <path d="M 243 1557 L 351 1557 C 360.94113 1557 369 1565.0589 369 1575 L 369 1575 C 369 1584.9411 360.94113 1593 351 1593 L 243 1593 C 233.05887 1593 225 1584.9411 225 1575 L 225 1575 C 225 1565.0589 233.05887 1557 243 1557 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(230 1568)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="33.645508" y="11">MonadLayer</tspan>
        </text>
      </g>
      <g id="Line_46">
        <line x1="319.39536" y1="1557" x2="356.88812" y2="1526.8657" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_45">
        <line x1="274.10957" y1="1556.6877" x2="238.01147" y2="1527.8092" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_44">
        <path d="M 342 1629 L 450 1629 C 459.9411 1629 468 1637.0589 468 1647 L 468 1647 C 468 1656.9411 459.9411 1665 450 1665 L 342 1665 C 332.05887 1665 324 1656.9411 324 1647 L 324 1647 C 324 1637.0589 332.05887 1629 342 1629 Z" fill="#ffc0c0"/>
        <path d="M 342 1629 L 450 1629 C 459.9411 1629 468 1637.0589 468 1647 L 468 1647 C 468 1656.9411 459.9411 1665 450 1665 L 342 1665 C 332.05887 1665 324 1656.9411 324 1647 L 324 1647 C 324 1637.0589 332.05887 1629 342 1629 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(329 1640)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="13.304688" y="11">MonadLayerFunctor</tspan>
        </text>
      </g>
      <g id="Line_43">
        <line x1="371.25" y1="1629" x2="329.7565" y2="1598.8229" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_42">
        <line x1="416.25" y1="1629" x2="449.35065" y2="1599.5772" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_41">
        <path d="M 342 1701 L 450 1701 C 459.9411 1701 468 1709.0589 468 1719 L 468 1719 C 468 1728.9411 459.9411 1737 450 1737 L 342 1737 C 332.05887 1737 324 1728.9411 324 1719 L 324 1719 C 324 1709.0589 332.05887 1701 342 1701 Z" fill="#ffc0c0"/>
        <path d="M 342 1701 L 450 1701 C 459.9411 1701 468 1709.0589 468 1719 L 468 1719 C 468 1728.9411 459.9411 1737 450 1737 L 342 1737 C 332.05887 1737 324 1728.9411 324 1719 L 324 1719 C 324 1709.0589 332.05887 1701 342 1701 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(329 1712)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="14.303711" y="11">MonadLayerControl</tspan>
        </text>
      </g>
      <g id="Line_40">
        <line x1="396" y1="1701" x2="396" y2="1674.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_39">
        <path d="M 63 1557 L 171 1557 C 180.94113 1557 189 1565.0589 189 1575 L 189 1575 C 189 1584.9411 180.94113 1593 171 1593 L 63 1593 C 53.058875 1593 45 1584.9411 45 1575 L 45 1575 C 45 1565.0589 53.058875 1557 63 1557 Z" fill="#ffc0c0"/>
        <path d="M 63 1557 L 171 1557 C 180.94113 1557 189 1565.0589 189 1575 L 189 1575 C 189 1584.9411 180.94113 1593 171 1593 L 63 1593 C 53.058875 1593 45 1584.9411 45 1575 L 45 1575 C 45 1565.0589 53.058875 1557 63 1557 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(50 1568)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="34.64453" y="11">MonadState</tspan>
        </text>
      </g>
      <g id="Line_38">
        <line x1="139.89043" y1="1556.6877" x2="175.98853" y2="1527.8092" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_37">
        <path d="M 693 1629 L 801 1629 C 810.9411 1629 819 1637.0589 819 1647 L 819 1647 C 819 1656.9411 810.9411 1665 801 1665 L 693 1665 C 683.0589 1665 675 1656.9411 675 1647 L 675 1647 C 675 1637.0589 683.0589 1629 693 1629 Z" fill="#ffc0c0"/>
        <path d="M 693 1629 L 801 1629 C 810.9411 1629 819 1637.0589 819 1647 L 819 1647 C 819 1656.9411 810.9411 1665 801 1665 L 693 1665 C 683.0589 1665 675 1656.9411 675 1647 L 675 1647 C 675 1637.0589 683.0589 1629 693 1629 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(680 1640)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="26.543945" y="11">TraverseEmpty</tspan>
        </text>
      </g>
      <g id="Line_36">
        <line x1="747" y1="1628.5" x2="747" y2="1603.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="4.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_35">
        <path d="M 423 1269 L 531 1269 C 540.9411 1269 549 1277.0589 549 1287 L 549 1287 C 549 1296.9411 540.9411 1305 531 1305 L 423 1305 C 413.05887 1305 405 1296.9411 405 1287 L 405 1287 C 405 1277.0589 413.05887 1269 423 1269 Z" fill="#f2f2f2"/>
        <path d="M 423 1269 L 531 1269 C 540.9411 1269 549 1277.0589 549 1287 L 549 1287 C 549 1296.9411 540.9411 1305 531 1305 L 423 1305 C 413.05887 1305 405 1296.9411 405 1287 L 405 1287 C 405 1277.0589 413.05887 1269 423 1269 Z" stroke="#dadada" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(410 1277)" fill="#dadada">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#dadada" x="35.365723" y="16">Functor</tspan>
        </text>
      </g>
      <g id="Graphic_34">
        <path d="M 153 1269 L 261 1269 C 270.94113 1269 279 1277.0589 279 1287 L 279 1287 C 279 1296.9411 270.94113 1305 261 1305 L 153 1305 C 143.05887 1305 135 1296.9411 135 1287 L 135 1287 C 135 1277.0589 143.05887 1269 153 1269 Z" fill="#f2f2f2"/>
        <path d="M 153 1269 L 261 1269 C 270.94113 1269 279 1277.0589 279 1287 L 279 1287 C 279 1296.9411 270.94113 1305 261 1305 L 153 1305 C 143.05887 1305 135 1296.9411 135 1287 L 135 1287 C 135 1277.0589 143.05887 1269 153 1269 Z" stroke="#dadada" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(140 1277)" fill="#dadada">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#dadada" x="21.652832" y="16">Applicative</tspan>
        </text>
      </g>
      <g id="Graphic_33">
        <path d="M 153 1485 L 261 1485 C 270.94113 1485 279 1493.0589 279 1503 L 279 1503 C 279 1512.9411 270.94113 1521 261 1521 L 153 1521 C 143.05887 1521 135 1512.9411 135 1503 L 135 1503 C 135 1493.0589 143.05887 1485 153 1485 Z" fill="#f2f2f2"/>
        <path d="M 153 1485 L 261 1485 C 270.94113 1485 279 1493.0589 279 1503 L 279 1503 C 279 1512.9411 270.94113 1521 261 1521 L 153 1521 C 143.05887 1521 135 1512.9411 135 1503 L 135 1503 C 135 1493.0589 143.05887 1485 153 1485 Z" stroke="#dadada" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(140 1493)" fill="#dadada">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#dadada" x="39.615723" y="16">Monad</tspan>
        </text>
      </g>
      <g id="Graphic_32">
        <path d="M 693 1557 L 801 1557 C 810.9411 1557 819 1565.0589 819 1575 L 819 1575 C 819 1584.9411 810.9411 1593 801 1593 L 693 1593 C 683.0589 1593 675 1584.9411 675 1575 L 675 1575 C 675 1565.0589 683.0589 1557 693 1557 Z" fill="#f2f2f2"/>
        <path d="M 693 1557 L 801 1557 C 810.9411 1557 819 1565.0589 819 1575 L 819 1575 C 819 1584.9411 810.9411 1593 801 1593 L 693 1593 C 683.0589 1593 675 1584.9411 675 1575 L 675 1575 C 675 1565.0589 683.0589 1557 693 1557 Z" stroke="#dadada" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
        <text transform="translate(680 1565)" fill="#dadada">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="#dadada" x="32.020508" y="16">Traverse</tspan>
        </text>
      </g>
      <g id="Graphic_31">
        <path d="M 145.28571 135 L 207 135 C 211.97056 135 216 139.02944 216 144 L 216 144 C 216 148.97056 211.97056 153 207 153 L 145.28571 153 C 140.31515 153 136.28571 148.97056 136.28571 144 L 136.28571 144 C 136.28571 139.02944 140.31515 135 145.28571 135 Z" fill="#ffc0bf"/>
        <path d="M 145.28571 135 L 207 135 C 211.97056 135 216 139.02944 216 144 L 216 144 C 216 148.97056 211.97056 153 207 153 L 145.28571 153 C 140.31515 153 136.28571 148.97056 136.28571 144 L 136.28571 144 C 136.28571 139.02944 140.31515 135 145.28571 135 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(141.28571 137)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="26.859096" y="11">mtl</tspan>
        </text>
      </g>
      <g id="Graphic_30">
        <text transform="translate(824 1706.2354)" fill="black">
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="11">MTL type classes do not extend core type </tspan>
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="25.509766">classes directly, but the effect is similar; the </tspan>
          <tspan font-family="Times New Roman" font-size="12" font-style="italic" font-weight="400" fill="black" x="0" y="40.01953">dashed line can be read “implies”.</tspan>
        </text>
      </g>
      <g id="Line_29">
        <path d="M 936 1701 L 936 1467 L 864 1368 L 704.2745 1370.413" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-dasharray="1.0,4.0" stroke-width="1"/>
      </g>
      <g id="Graphic_28">
        <path d="M 594 216 L 702 216 C 711.9411 216 720 224.05887 720 234 L 720 234 C 720 243.94113 711.9411 252 702 252 L 594 252 C 584.0589 252 576 243.94113 576 234 L 576 234 C 576 224.05887 584.0589 216 594 216 Z" fill="#ffd9eb"/>
        <path d="M 594 216 L 702 216 C 711.9411 216 720 224.05887 720 234 L 720 234 C 720 243.94113 711.9411 252 702 252 L 594 252 C 584.0589 252 576 243.94113 576 234 L 576 234 C 576 224.05887 584.0589 216 594 216 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(581 227)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="52.993164" y="11">Hash</tspan>
        </text>
      </g>
      <g id="Line_27">
        <line x1="627.75" y1="216" x2="595.21185" y2="187.0772" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_26">
        <path d="M 918 792 L 1026 792 C 1035.9411 792 1044 800.0589 1044 810 L 1044 810 C 1044 819.9411 1035.9411 828 1026 828 L 918 828 C 908.0589 828 900 819.9411 900 810 L 900 810 C 900 800.0589 908.0589 792 918 792 Z" fill="#cadfff"/>
        <path d="M 918 792 L 1026 792 C 1035.9411 792 1044 800.0589 1044 810 L 1044 810 C 1044 819.9411 1035.9411 828 1026 828 L 918 828 C 908.0589 828 900 819.9411 900 810 L 900 810 C 900 800.0589 908.0589 792 918 792 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(905 803)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="16.64746" y="11">CommutativeApply</tspan>
        </text>
      </g>
      <g id="Line_25">
        <line x1="972" y1="791.5" x2="972" y2="766.4" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_24">
        <path d="M 1098 864 L 1206 864 C 1215.9411 864 1224 872.0589 1224 882 L 1224 882 C 1224 891.9411 1215.9411 900 1206 900 L 1098 900 C 1088.0589 900 1080 891.9411 1080 882 L 1080 882 C 1080 872.0589 1088.0589 864 1098 864 Z" fill="#cadfff"/>
        <path d="M 1098 864 L 1206 864 C 1215.9411 864 1224 872.0589 1224 882 L 1224 882 C 1224 891.9411 1215.9411 900 1206 900 L 1098 900 C 1088.0589 900 1080 891.9411 1080 882 L 1080 882 C 1080 872.0589 1088.0589 864 1098 864 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1085 875)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="2.640625" y="11">CommutativeApplicative</tspan>
        </text>
      </g>
      <g id="Line_23">
        <line x1="1106.5358" y1="863.8143" x2="1026.6562" y2="831.8625" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_22">
        <line x1="1152" y1="863.5" x2="1152" y2="838.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_21">
        <line x1="837.4642" y1="863.8143" x2="917.3438" y2="831.8625" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_20">
        <line x1="1017.4642" y1="935.8143" x2="1097.3438" y2="903.8625" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_19">
        <path d="M 450 1080 L 558 1080 C 567.9411 1080 576 1088.0589 576 1098 L 576 1098 C 576 1107.9411 567.9411 1116 558 1116 L 450 1116 C 440.0589 1116 432 1107.9411 432 1098 L 432 1098 C 432 1088.0589 440.0589 1080 450 1080 Z" fill="#cadfff"/>
        <path d="M 450 1080 L 558 1080 C 567.9411 1080 576 1088.0589 576 1098 L 576 1098 C 576 1107.9411 567.9411 1116 558 1116 L 450 1116 C 440.0589 1116 432 1107.9411 432 1098 L 432 1098 C 432 1088.0589 440.0589 1080 450 1080 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(437 1091)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="46.990234" y="11">Parallel</tspan>
        </text>
      </g>
      <g id="Graphic_18">
        <path d="M 450 1008 L 558 1008 C 567.9411 1008 576 1016.0589 576 1026 L 576 1026 C 576 1035.9411 567.9411 1044 558 1044 L 450 1044 C 440.0589 1044 432 1035.9411 432 1026 L 432 1026 C 432 1016.0589 440.0589 1008 450 1008 Z" fill="#cadfff"/>
        <path d="M 450 1008 L 558 1008 C 567.9411 1008 576 1016.0589 576 1026 L 576 1026 C 576 1035.9411 567.9411 1044 558 1044 L 450 1044 C 440.0589 1044 432 1035.9411 432 1026 L 432 1026 C 432 1016.0589 440.0589 1008 450 1008 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(437 1019)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="18.979492" y="11">NonEmptyParallel</tspan>
        </text>
      </g>
      <g id="Line_17">
        <line x1="504" y1="1079.5" x2="504" y2="1054.4" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_16">
        <path d="M 1278 792 L 1386 792 C 1395.9411 792 1404 800.0589 1404 810 L 1404 810 C 1404 819.9411 1395.9411 828 1386 828 L 1278 828 C 1268.0589 828 1260 819.9411 1260 810 L 1260 810 C 1260 800.0589 1268.0589 792 1278 792 Z" fill="#cadfff"/>
        <path d="M 1278 792 L 1386 792 C 1395.9411 792 1404 800.0589 1404 810 L 1404 810 C 1404 819.9411 1395.9411 828 1386 828 L 1278 828 C 1268.0589 828 1260 819.9411 1260 810 L 1260 810 C 1260 800.0589 1268.0589 792 1278 792 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1265 803)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="6.633789" y="11">ContravariantMonoidal</tspan>
        </text>
      </g>
      <g id="Line_15">
        <line x1="1287" y1="792" x2="1206.1919" y2="759.6768" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_14">
        <line x1="1332" y1="792" x2="1332" y2="693.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_13">
        <path d="M 738 720 L 846 720 C 855.9411 720 864 728.0589 864 738 L 864 738 C 864 747.9411 855.9411 756 846 756 L 738 756 C 728.0589 756 720 747.9411 720 738 L 720 738 C 720 728.0589 728.0589 720 738 720 Z" fill="#cadfff"/>
        <path d="M 738 720 L 846 720 C 855.9411 720 864 728.0589 864 738 L 864 738 C 864 747.9411 855.9411 756 846 756 L 738 756 C 728.0589 756 720 747.9411 720 738 L 720 738 C 720 728.0589 728.0589 720 738 720 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(725 731)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="37.325195" y="11">Distributive</tspan>
        </text>
      </g>
      <g id="Graphic_12">
        <path d="M 1098 720 L 1206 720 C 1215.9411 720 1224 728.0589 1224 738 L 1224 738 C 1224 747.9411 1215.9411 756 1206 756 L 1098 756 C 1088.0589 756 1080 747.9411 1080 738 L 1080 738 C 1080 728.0589 1088.0589 720 1098 720 Z" fill="#cadfff"/>
        <path d="M 1098 720 L 1206 720 C 1215.9411 720 1224 728.0589 1224 738 L 1224 738 C 1224 747.9411 1215.9411 756 1206 756 L 1098 756 C 1088.0589 756 1080 747.9411 1080 738 L 1080 738 C 1080 728.0589 1088.0589 720 1098 720 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1085 731)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="19.638672" y="11">InvariantMonoidal</tspan>
        </text>
      </g>
      <g id="Line_11">
        <line x1="1152" y1="720" x2="1152" y2="693.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_7">
        <path d="M 558 432 L 666 432 C 675.9411 432 684 440.0589 684 450 L 684 450 C 684 459.9411 675.9411 468 666 468 L 558 468 C 548.0589 468 540 459.9411 540 450 L 540 450 C 540 440.0589 548.0589 432 558 432 Z" fill="#cadfff"/>
        <path d="M 558 432 L 666 432 C 675.9411 432 684 440.0589 684 450 L 684 450 C 684 459.9411 675.9411 468 666 468 L 558 468 C 548.0589 468 540 459.9411 540 450 L 540 450 C 540 440.0589 548.0589 432 558 432 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(545 443)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="15.633789" y="11">UnorderedFoldable</tspan>
        </text>
      </g>
      <g id="Line_6">
        <line x1="612" y1="575" x2="612" y2="478.4" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_5">
        <path d="M 648 504 L 756 504 C 765.9411 504 774 512.0589 774 522 L 774 522 C 774 531.9411 765.9411 540 756 540 L 648 540 C 638.0589 540 630 531.9411 630 522 L 630 522 C 630 512.0589 638.0589 504 648 504 Z" fill="#cadfff"/>
        <path d="M 648 504 L 756 504 C 765.9411 504 774 512.0589 774 522 L 774 522 C 774 531.9411 765.9411 540 756 540 L 648 540 C 638.0589 540 630 531.9411 630 522 L 630 522 C 630 512.0589 638.0589 504 648 504 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(635 515)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="15.197266" y="11">UnorderedTraverse</tspan>
        </text>
      </g>
      <g id="Line_4">
        <line x1="679.1096" y1="503.68765" x2="642.621" y2="474.49683" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_3">
        <line x1="702" y1="647" x2="702" y2="550.4" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_199">
        <text transform="translate(14 1796)" fill="black">
          <tspan font-family="Helvetica" font-size="17" font-weight="700" fill="black" x="91.97876" y="16">cats-infographic 1.2 </tspan>
          <tspan font-family="Helvetica" font-size="17" font-weight="400" fill="black" y="16">for cats 1.3.0, cats-effect 1.0.0, and cats-mtl 0.2.3 • Source available at github.com/tpolecat/cats-infographic • Shareable under CC-BY-SA 4.0 </tspan>
        </text>
      </g>
      <g id="Graphic_201">
        <path d="M 1026 1224 L 1134 1224 C 1143.9411 1224 1152 1232.0589 1152 1242 L 1152 1242 C 1152 1251.9411 1143.9411 1260 1134 1260 L 1026 1260 C 1016.0589 1260 1008 1251.9411 1008 1242 L 1008 1242 C 1008 1232.0589 1016.0589 1224 1026 1224 Z" fill="#ffe1c9"/>
        <path d="M 1026 1224 L 1134 1224 C 1143.9411 1224 1152 1232.0589 1152 1242 L 1152 1242 C 1152 1251.9411 1143.9411 1260 1134 1260 L 1026 1260 C 1016.0589 1260 1008 1251.9411 1008 1242 L 1008 1242 C 1008 1232.0589 1016.0589 1224 1026 1224 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1013 1235)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="37.319336" y="11">Concurrent</tspan>
        </text>
      </g>
      <g id="Graphic_202">
        <path d="M 927 1296 L 1035 1296 C 1044.9411 1296 1053 1304.0589 1053 1314 L 1053 1314 C 1053 1323.9411 1044.9411 1332 1035 1332 L 927 1332 C 917.0589 1332 909 1323.9411 909 1314 L 909 1314 C 909 1304.0589 917.0589 1296 927 1296 Z" fill="#ffe1c9"/>
        <path d="M 927 1296 L 1035 1296 C 1044.9411 1296 1053 1304.0589 1053 1314 L 1053 1314 C 1053 1323.9411 1044.9411 1332 1035 1332 L 927 1332 C 917.0589 1332 909 1323.9411 909 1314 L 909 1314 C 909 1304.0589 917.0589 1296 927 1296 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(914 1307)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="22.08496" y="11">ConcurrentEffect</tspan>
        </text>
      </g>
      <g id="Line_203">
        <line x1="1052.584" y1="1223.7226" x2="1007.6533" y2="1193.7689" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_204">
        <line x1="955.8456" y1="1295.7059" x2="915.1609" y2="1266.117" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Line_205">
        <line x1="1006.1544" y1="1295.7059" x2="1046.8391" y2="1266.117" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_206">
        <path d="M 1098 1008 L 1206 1008 C 1215.9411 1008 1224 1016.0589 1224 1026 L 1224 1026 C 1224 1035.9411 1215.9411 1044 1206 1044 L 1098 1044 C 1088.0589 1044 1080 1035.9411 1080 1026 L 1080 1026 C 1080 1016.0589 1088.0589 1008 1098 1008 Z" fill="#ffe1c9"/>
        <path d="M 1098 1008 L 1206 1008 C 1215.9411 1008 1224 1016.0589 1224 1026 L 1224 1026 C 1224 1035.9411 1215.9411 1044 1206 1044 L 1098 1044 C 1088.0589 1044 1080 1035.9411 1080 1026 L 1080 1026 C 1080 1016.0589 1088.0589 1008 1098 1008 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(1085 1019)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="46.65918" y="11">Bracket</tspan>
        </text>
      </g>
      <g id="Line_207">
        <line x1="1152" y1="1008" x2="1152" y2="981.9" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
      <g id="Graphic_208">
        <path d="M 918 1008 L 1026 1008 C 1035.9411 1008 1044 1016.0589 1044 1026 L 1044 1026 C 1044 1035.9411 1035.9411 1044 1026 1044 L 918 1044 C 908.0589 1044 900 1035.9411 900 1026 L 900 1026 C 900 1016.0589 908.0589 1008 918 1008 Z" fill="#ffe1c9"/>
        <path d="M 918 1008 L 1026 1008 C 1035.9411 1008 1044 1016.0589 1044 1026 L 1044 1026 C 1044 1035.9411 1035.9411 1044 1026 1044 L 918 1044 C 908.0589 1044 900 1035.9411 900 1026 L 900 1026 C 900 1016.0589 908.0589 1008 918 1008 Z" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
        <text transform="translate(905 1019)" fill="black">
          <tspan font-family="Helvetica" font-size="12" font-weight="400" fill="black" x="52.328125" y="11">Defer</tspan>
        </text>
      </g>
      <g id="Line_209">
        <line x1="1039.5" y1="1080" x2="1002.2306" y2="1050.1845" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
      </g>
    </g>
  </g>
</svg>