<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.49.1 (0)
 -->
<!-- Pages: 1 -->
<svg width="712pt" height="332pt"
 viewBox="0.00 0.00 712.00 332.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 328)">
<polygon fill="white" stroke="transparent" points="-4,4 -4,-328 708,-328 708,4 -4,4"/>
<!-- functor -->
<g id="node1" class="node">
<title>functor</title>
<polygon fill="none" stroke="black" points="141.5,-324 82.5,-324 82.5,-288 141.5,-288 141.5,-324"/>
<text text-anchor="middle" x="112" y="-302.3" font-family="Times,serif" font-size="14.00">Functor</text>
</g>
<!-- traversable -->
<g id="node3" class="node">
<title>traversable</title>
<polygon fill="none" stroke="black" points="237,-252 157,-252 157,-216 237,-216 237,-252"/>
<text text-anchor="middle" x="197" y="-230.3" font-family="Times,serif" font-size="14.00">Traversable</text>
</g>
<!-- functor&#45;&gt;traversable -->
<g id="edge12" class="edge">
<title>functor&#45;&gt;traversable</title>
<path fill="none" stroke="black" d="M133.01,-287.7C143.72,-278.88 156.89,-268.03 168.5,-258.47"/>
<polygon fill="black" stroke="black" points="170.74,-261.16 176.23,-252.1 166.29,-255.76 170.74,-261.16"/>
</g>
<!-- apply -->
<g id="node4" class="node">
<title>apply</title>
<polygon fill="none" stroke="black" stroke-width="2" points="139,-252 85,-252 85,-216 139,-216 139,-252"/>
<text text-anchor="middle" x="112" y="-230.3" font-family="Times,serif" font-size="14.00">Apply</text>
</g>
<!-- functor&#45;&gt;apply -->
<g id="edge1" class="edge">
<title>functor&#45;&gt;apply</title>
<path fill="none" stroke="black" d="M112,-287.7C112,-279.98 112,-270.71 112,-262.11"/>
<polygon fill="black" stroke="black" points="115.5,-262.1 112,-252.1 108.5,-262.1 115.5,-262.1"/>
</g>
<!-- alt -->
<g id="node7" class="node">
<title>alt</title>
<polygon fill="none" stroke="black" stroke-width="2" points="61,-252 7,-252 7,-216 61,-216 61,-252"/>
<text text-anchor="middle" x="34" y="-230.3" font-family="Times,serif" font-size="14.00">Alt</text>
</g>
<!-- functor&#45;&gt;alt -->
<g id="edge2" class="edge">
<title>functor&#45;&gt;alt</title>
<path fill="none" stroke="black" d="M92.72,-287.7C83.08,-279.05 71.27,-268.45 60.77,-259.03"/>
<polygon fill="black" stroke="black" points="62.84,-256.18 53.06,-252.1 58.16,-261.39 62.84,-256.18"/>
</g>
<!-- foldable -->
<g id="node2" class="node">
<title>foldable</title>
<polygon fill="none" stroke="black" points="275,-324 211,-324 211,-288 275,-288 275,-324"/>
<text text-anchor="middle" x="243" y="-302.3" font-family="Times,serif" font-size="14.00">Foldable</text>
</g>
<!-- foldable&#45;&gt;traversable -->
<g id="edge13" class="edge">
<title>foldable&#45;&gt;traversable</title>
<path fill="none" stroke="black" d="M231.63,-287.7C226.28,-279.56 219.8,-269.69 213.89,-260.7"/>
<polygon fill="black" stroke="black" points="216.66,-258.54 208.24,-252.1 210.81,-262.38 216.66,-258.54"/>
</g>
<!-- foldable1 -->
<g id="node12" class="node">
<title>foldable1</title>
<polygon fill="none" stroke="black" stroke-width="2" points="326.5,-252 255.5,-252 255.5,-216 326.5,-216 326.5,-252"/>
<text text-anchor="middle" x="291" y="-230.3" font-family="Times,serif" font-size="14.00">Foldable1</text>
</g>
<!-- foldable&#45;&gt;foldable1 -->
<g id="edge14" class="edge">
<title>foldable&#45;&gt;foldable1</title>
<path fill="none" stroke="black" d="M254.87,-287.7C260.5,-279.47 267.35,-269.48 273.57,-260.42"/>
<polygon fill="black" stroke="black" points="276.5,-262.33 279.27,-252.1 270.73,-258.37 276.5,-262.33"/>
</g>
<!-- traversable1 -->
<g id="node13" class="node">
<title>traversable1</title>
<polygon fill="none" stroke="black" stroke-width="2" points="332.5,-180 245.5,-180 245.5,-144 332.5,-144 332.5,-180"/>
<text text-anchor="middle" x="289" y="-158.3" font-family="Times,serif" font-size="14.00">Traversable1</text>
</g>
<!-- traversable&#45;&gt;traversable1 -->
<g id="edge16" class="edge">
<title>traversable&#45;&gt;traversable1</title>
<path fill="none" stroke="black" d="M219.74,-215.7C231.44,-206.8 245.86,-195.82 258.51,-186.2"/>
<polygon fill="black" stroke="black" points="260.68,-188.94 266.52,-180.1 256.44,-183.37 260.68,-188.94"/>
</g>
<!-- bind -->
<g id="node5" class="node">
<title>bind</title>
<polygon fill="none" stroke="black" stroke-width="2" points="224,-180 170,-180 170,-144 224,-144 224,-180"/>
<text text-anchor="middle" x="197" y="-158.3" font-family="Times,serif" font-size="14.00">Bind</text>
</g>
<!-- apply&#45;&gt;bind -->
<g id="edge3" class="edge">
<title>apply&#45;&gt;bind</title>
<path fill="none" stroke="black" d="M133.01,-215.7C143.72,-206.88 156.89,-196.03 168.5,-186.47"/>
<polygon fill="black" stroke="black" points="170.74,-189.16 176.23,-180.1 166.29,-183.76 170.74,-189.16"/>
</g>
<!-- applicative -->
<g id="node6" class="node">
<title>applicative</title>
<polygon fill="none" stroke="black" points="152,-180 72,-180 72,-144 152,-144 152,-180"/>
<text text-anchor="middle" x="112" y="-158.3" font-family="Times,serif" font-size="14.00">Applicative</text>
</g>
<!-- apply&#45;&gt;applicative -->
<g id="edge4" class="edge">
<title>apply&#45;&gt;applicative</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M112,-215.7C112,-207.98 112,-198.71 112,-190.11"/>
<polygon fill="black" stroke="black" points="115.5,-190.1 112,-180.1 108.5,-190.1 115.5,-190.1"/>
</g>
<!-- monad -->
<g id="node10" class="node">
<title>monad</title>
<polygon fill="none" stroke="black" points="183,-108 127,-108 127,-72 183,-72 183,-108"/>
<text text-anchor="middle" x="155" y="-86.3" font-family="Times,serif" font-size="14.00">Monad</text>
</g>
<!-- bind&#45;&gt;monad -->
<g id="edge9" class="edge">
<title>bind&#45;&gt;monad</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M186.62,-143.7C181.74,-135.56 175.81,-125.69 170.42,-116.7"/>
<polygon fill="black" stroke="black" points="173.41,-114.88 165.26,-108.1 167.41,-118.48 173.41,-114.88"/>
</g>
<!-- alternative -->
<g id="node9" class="node">
<title>alternative</title>
<polygon fill="none" stroke="black" points="108.5,-108 31.5,-108 31.5,-72 108.5,-72 108.5,-108"/>
<text text-anchor="middle" x="70" y="-86.3" font-family="Times,serif" font-size="14.00">Alternative</text>
</g>
<!-- applicative&#45;&gt;alternative -->
<g id="edge7" class="edge">
<title>applicative&#45;&gt;alternative</title>
<path fill="none" stroke="black" d="M101.62,-143.7C96.74,-135.56 90.81,-125.69 85.42,-116.7"/>
<polygon fill="black" stroke="black" points="88.41,-114.88 80.26,-108.1 82.41,-118.48 88.41,-114.88"/>
</g>
<!-- applicative&#45;&gt;monad -->
<g id="edge8" class="edge">
<title>applicative&#45;&gt;monad</title>
<path fill="none" stroke="black" d="M122.63,-143.7C127.63,-135.56 133.69,-125.69 139.21,-116.7"/>
<polygon fill="black" stroke="black" points="142.24,-118.46 144.49,-108.1 136.28,-114.79 142.24,-118.46"/>
</g>
<!-- plus -->
<g id="node8" class="node">
<title>plus</title>
<polygon fill="none" stroke="black" stroke-width="2" points="54,-180 0,-180 0,-144 54,-144 54,-180"/>
<text text-anchor="middle" x="27" y="-158.3" font-family="Times,serif" font-size="14.00">Plus</text>
</g>
<!-- alt&#45;&gt;plus -->
<g id="edge5" class="edge">
<title>alt&#45;&gt;plus</title>
<path fill="none" stroke="black" d="M32.27,-215.7C31.5,-207.98 30.57,-198.71 29.71,-190.11"/>
<polygon fill="black" stroke="black" points="33.19,-189.71 28.71,-180.1 26.22,-190.4 33.19,-189.71"/>
</g>
<!-- plus&#45;&gt;alternative -->
<g id="edge6" class="edge">
<title>plus&#45;&gt;alternative</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M37.63,-143.7C42.63,-135.56 48.69,-125.69 54.21,-116.7"/>
<polygon fill="black" stroke="black" points="57.24,-118.46 59.49,-108.1 51.28,-114.79 57.24,-118.46"/>
</g>
<!-- monad_plus -->
<g id="node11" class="node">
<title>monad_plus</title>
<polygon fill="none" stroke="black" points="151.5,-36 72.5,-36 72.5,0 151.5,0 151.5,-36"/>
<text text-anchor="middle" x="112" y="-14.3" font-family="Times,serif" font-size="14.00">MonadPlus</text>
</g>
<!-- alternative&#45;&gt;monad_plus -->
<g id="edge11" class="edge">
<title>alternative&#45;&gt;monad_plus</title>
<path fill="none" stroke="black" d="M80.38,-71.7C85.26,-63.56 91.19,-53.69 96.58,-44.7"/>
<polygon fill="black" stroke="black" points="99.59,-46.48 101.74,-36.1 93.59,-42.88 99.59,-46.48"/>
</g>
<!-- monad&#45;&gt;monad_plus -->
<g id="edge10" class="edge">
<title>monad&#45;&gt;monad_plus</title>
<path fill="none" stroke="black" d="M144.37,-71.7C139.37,-63.56 133.31,-53.69 127.79,-44.7"/>
<polygon fill="black" stroke="black" points="130.72,-42.79 122.51,-36.1 124.76,-46.46 130.72,-42.79"/>
</g>
<!-- foldable1&#45;&gt;traversable1 -->
<g id="edge15" class="edge">
<title>foldable1&#45;&gt;traversable1</title>
<path fill="none" stroke="black" d="M290.51,-215.7C290.29,-207.98 290.02,-198.71 289.77,-190.11"/>
<polygon fill="black" stroke="black" points="293.27,-190 289.49,-180.1 286.28,-190.2 293.27,-190"/>
</g>
<!-- bifunctor -->
<g id="node14" class="node">
<title>bifunctor</title>
<polygon fill="none" stroke="black" points="408,-324 340,-324 340,-288 408,-288 408,-324"/>
<text text-anchor="middle" x="374" y="-302.3" font-family="Times,serif" font-size="14.00">Bifunctor</text>
</g>
<!-- biapply -->
<g id="node15" class="node">
<title>biapply</title>
<polygon fill="none" stroke="black" stroke-width="2" points="403.5,-252 344.5,-252 344.5,-216 403.5,-216 403.5,-252"/>
<text text-anchor="middle" x="374" y="-230.3" font-family="Times,serif" font-size="14.00">Biapply</text>
</g>
<!-- bifunctor&#45;&gt;biapply -->
<g id="edge17" class="edge">
<title>bifunctor&#45;&gt;biapply</title>
<path fill="none" stroke="black" d="M374,-287.7C374,-279.98 374,-270.71 374,-262.11"/>
<polygon fill="black" stroke="black" points="377.5,-262.1 374,-252.1 370.5,-262.1 377.5,-262.1"/>
</g>
<!-- contravariant -->
<g id="node16" class="node">
<title>contravariant</title>
<polygon fill="none" stroke="black" points="542.5,-324 451.5,-324 451.5,-288 542.5,-288 542.5,-324"/>
<text text-anchor="middle" x="497" y="-302.3" font-family="Times,serif" font-size="14.00">Contravariant</text>
</g>
<!-- divise -->
<g id="node17" class="node">
<title>divise</title>
<polygon fill="none" stroke="black" stroke-width="2" points="476,-252 422,-252 422,-216 476,-216 476,-252"/>
<text text-anchor="middle" x="449" y="-230.3" font-family="Times,serif" font-size="14.00">Divise</text>
</g>
<!-- contravariant&#45;&gt;divise -->
<g id="edge18" class="edge">
<title>contravariant&#45;&gt;divise</title>
<path fill="none" stroke="black" d="M485.13,-287.7C479.5,-279.47 472.65,-269.48 466.43,-260.42"/>
<polygon fill="black" stroke="black" points="469.27,-258.37 460.73,-252.1 463.5,-262.33 469.27,-258.37"/>
</g>
<!-- decide -->
<g id="node18" class="node">
<title>decide</title>
<polygon fill="none" stroke="black" stroke-width="2" points="549.5,-252 494.5,-252 494.5,-216 549.5,-216 549.5,-252"/>
<text text-anchor="middle" x="522" y="-230.3" font-family="Times,serif" font-size="14.00">Decide</text>
</g>
<!-- contravariant&#45;&gt;decide -->
<g id="edge19" class="edge">
<title>contravariant&#45;&gt;decide</title>
<path fill="none" stroke="black" d="M503.18,-287.7C506,-279.81 509.39,-270.3 512.52,-261.55"/>
<polygon fill="black" stroke="black" points="515.82,-262.7 515.89,-252.1 509.23,-260.34 515.82,-262.7"/>
</g>
<!-- divisible -->
<g id="node19" class="node">
<title>divisible</title>
<polygon fill="none" stroke="black" points="482,-180 416,-180 416,-144 482,-144 482,-180"/>
<text text-anchor="middle" x="449" y="-158.3" font-family="Times,serif" font-size="14.00">Divisible</text>
</g>
<!-- divise&#45;&gt;divisible -->
<g id="edge20" class="edge">
<title>divise&#45;&gt;divisible</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M449,-215.7C449,-207.98 449,-198.71 449,-190.11"/>
<polygon fill="black" stroke="black" points="452.5,-190.1 449,-180.1 445.5,-190.1 452.5,-190.1"/>
</g>
<!-- decidable -->
<g id="node20" class="node">
<title>decidable</title>
<polygon fill="none" stroke="black" points="582.5,-108 511.5,-108 511.5,-72 582.5,-72 582.5,-108"/>
<text text-anchor="middle" x="547" y="-86.3" font-family="Times,serif" font-size="14.00">Decidable</text>
</g>
<!-- decide&#45;&gt;decidable -->
<g id="edge21" class="edge">
<title>decide&#45;&gt;decidable</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M524.1,-215.87C526.4,-197.9 530.38,-168.87 535,-144 536.58,-135.52 538.56,-126.34 540.45,-118.04"/>
<polygon fill="black" stroke="black" points="543.9,-118.65 542.77,-108.12 537.09,-117.06 543.9,-118.65"/>
</g>
<!-- conclude -->
<g id="node21" class="node">
<title>conclude</title>
<polygon fill="none" stroke="black" stroke-width="2" points="612,-180 544,-180 544,-144 612,-144 612,-180"/>
<text text-anchor="middle" x="578" y="-158.3" font-family="Times,serif" font-size="14.00">Conclude</text>
</g>
<!-- decide&#45;&gt;conclude -->
<g id="edge22" class="edge">
<title>decide&#45;&gt;conclude</title>
<path fill="none" stroke="black" d="M535.84,-215.7C542.49,-207.39 550.58,-197.28 557.89,-188.14"/>
<polygon fill="black" stroke="black" points="560.8,-190.1 564.32,-180.1 555.34,-185.73 560.8,-190.1"/>
</g>
<!-- conclude&#45;&gt;decidable -->
<g id="edge23" class="edge">
<title>conclude&#45;&gt;decidable</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M570.34,-143.7C566.81,-135.73 562.54,-126.1 558.63,-117.26"/>
<polygon fill="black" stroke="black" points="561.82,-115.83 554.57,-108.1 555.42,-118.67 561.82,-115.83"/>
</g>
<!-- semigroupoid -->
<g id="node22" class="node">
<title>semigroupoid</title>
<polygon fill="none" stroke="black" stroke-width="2" points="704,-324 610,-324 610,-288 704,-288 704,-324"/>
<text text-anchor="middle" x="657" y="-302.3" font-family="Times,serif" font-size="14.00">Semigroupoid</text>
</g>
<!-- category -->
<g id="node23" class="node">
<title>category</title>
<polygon fill="none" stroke="black" points="690,-252 624,-252 624,-216 690,-216 690,-252"/>
<text text-anchor="middle" x="657" y="-230.3" font-family="Times,serif" font-size="14.00">Category</text>
</g>
<!-- semigroupoid&#45;&gt;category -->
<g id="edge24" class="edge">
<title>semigroupoid&#45;&gt;category</title>
<path fill="none" stroke="black" stroke-dasharray="5,2" d="M657,-287.7C657,-279.98 657,-270.71 657,-262.11"/>
<polygon fill="black" stroke="black" points="660.5,-262.1 657,-252.1 653.5,-262.1 660.5,-262.1"/>
</g>
<!-- arrow -->
<g id="node24" class="node">
<title>arrow</title>
<polygon fill="none" stroke="black" points="684,-180 630,-180 630,-144 684,-144 684,-180"/>
<text text-anchor="middle" x="657" y="-158.3" font-family="Times,serif" font-size="14.00">Arrow</text>
</g>
<!-- category&#45;&gt;arrow -->
<g id="edge25" class="edge">
<title>category&#45;&gt;arrow</title>
<path fill="none" stroke="black" d="M657,-215.7C657,-207.98 657,-198.71 657,-190.11"/>
<polygon fill="black" stroke="black" points="660.5,-190.1 657,-180.1 653.5,-190.1 660.5,-190.1"/>
</g>
</g>
</svg>