--- /dev/null
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+<svg
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:cc="http://creativecommons.org/ns#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:svg="http://www.w3.org/2000/svg"
+ xmlns="http://www.w3.org/2000/svg"
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+ version="1.0"
+ width="261.52942"
+ height="161.53819"
+ id="svg2"
+ sodipodi:version="0.32"
+ inkscape:version="0.46"
+ sodipodi:docname="foldr.svg"
+ inkscape:output_extension="org.inkscape.output.svg.inkscape">
+ <metadata
+ id="metadata10676">
+ <rdf:RDF>
+ <cc:Work
+ rdf:about="">
+ <dc:format>image/svg+xml</dc:format>
+ <dc:type
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+ </cc:Work>
+ </rdf:RDF>
+ </metadata>
+ <sodipodi:namedview
+ inkscape:window-height="1232"
+ inkscape:window-width="1024"
+ inkscape:pageshadow="2"
+ inkscape:pageopacity="0.0"
+ guidetolerance="10.0"
+ gridtolerance="10.0"
+ objecttolerance="10.0"
+ borderopacity="1.0"
+ bordercolor="#666666"
+ pagecolor="#ffffff"
+ id="base"
+ showgrid="false"
+ inkscape:zoom="1.0093657"
+ inkscape:cx="167.08218"
+ inkscape:cy="24.342676"
+ inkscape:window-x="0"
+ inkscape:window-y="22"
+ inkscape:current-layer="svg2"
+ showguides="false"
+ inkscape:guide-bbox="true">
+ <sodipodi:guide
+ orientation="0,1"
+ position="121.61102,135.23344"
+ id="guide2546" />
+ <sodipodi:guide
+ orientation="1,0"
+ position="114.88949,147.81513"
+ id="guide2548" />
+ <sodipodi:guide
+ orientation="1,0"
+ position="130.27983,154.5525"
+ id="guide2550" />
+ <sodipodi:guide
+ orientation="1,0"
+ position="144.89297,157.02931"
+ id="guide2552" />
+ <sodipodi:guide
+ orientation="1,0"
+ position="160.00147,156.03859"
+ id="guide2554" />
+ <sodipodi:guide
+ orientation="1,0"
+ position="100.06284,116.16206"
+ id="guide2556" />
+ <sodipodi:guide
+ orientation="1,0"
+ position="175.10997,155.79091"
+ id="guide2558" />
+ <sodipodi:guide
+ orientation="0,1"
+ position="104.2734,119.87726"
+ id="guide2560" />
+ <inkscape:grid
+ type="xygrid"
+ id="grid2562"
+ visible="true"
+ enabled="true" />
+ </sodipodi:namedview>
+ <defs
+ id="defs4">
+ <marker
+ inkscape:stockid="Arrow1Send"
+ orient="auto"
+ refY="0"
+ refX="0"
+ id="Arrow1Send"
+ style="overflow:visible">
+ <path
+ id="path4059"
+ d="M 0,0 L 5,-5 L -12.5,0 L 5,5 L 0,0 z"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+ transform="matrix(-0.2,0,0,-0.2,-1.2,0)" />
+ </marker>
+ <inkscape:perspective
+ sodipodi:type="inkscape:persp3d"
+ inkscape:vp_x="0 : 99.106232 : 1"
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_z="380.3963 : 99.106232 : 1"
+ inkscape:persp3d-origin="190.19815 : 66.070821 : 1"
+ id="perspective10678" />
+ <marker
+ refX="0"
+ refY="0"
+ orient="auto"
+ id="Arrow2Lstart"
+ style="overflow:visible">
+ <path
+ d="M 8.7185878,4.0337352 L -2.2072895,0.01601326 L 8.7185884,-4.0017078 C 6.97309,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 L 8.7185878,4.0337352 z"
+ transform="matrix(1.1,0,0,1.1,1.1,0)"
+ id="path3653"
+ style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+ </marker>
+ <marker
+ refX="0"
+ refY="0"
+ orient="auto"
+ id="Arrow2Lend"
+ style="overflow:visible">
+ <path
+ d="M 8.7185878,4.0337352 L -2.2072895,0.01601326 L 8.7185884,-4.0017078 C 6.97309,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 L 8.7185878,4.0337352 z"
+ transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
+ id="path3656"
+ style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+ </marker>
+ <marker
+ refX="0"
+ refY="0"
+ orient="auto"
+ id="Arrow1Lend"
+ style="overflow:visible">
+ <path
+ d="M 0,0 L 5,-5 L -12.5,0 L 5,5 L 0,0 z"
+ transform="matrix(-0.8,0,0,-0.8,-10,0)"
+ id="path3638"
+ style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none" />
+ </marker>
+ <marker
+ refX="0"
+ refY="0"
+ orient="auto"
+ id="Arrow2Mstart"
+ style="overflow:visible">
+ <path
+ d="M 8.7185878,4.0337352 L -2.2072895,0.01601326 L 8.7185884,-4.0017078 C 6.97309,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 L 8.7185878,4.0337352 z"
+ transform="scale(0.6,0.6)"
+ id="path3659"
+ style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+ </marker>
+ <marker
+ refX="0"
+ refY="0"
+ orient="auto"
+ id="Arrow2Mend"
+ style="overflow:visible">
+ <path
+ d="M 8.7185878,4.0337352 L -2.2072895,0.01601326 L 8.7185884,-4.0017078 C 6.97309,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 L 8.7185878,4.0337352 z"
+ transform="scale(-0.6,-0.6)"
+ id="path3662"
+ style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+ </marker>
+ <marker
+ refX="0"
+ refY="0"
+ orient="auto"
+ id="Arrow2Lend-6"
+ style="overflow:visible">
+ <path
+ d="M 8.7185878,4.0337352 L -2.2072895,0.01601326 L 8.7185884,-4.0017078 C 6.97309,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 L 8.7185878,4.0337352 z"
+ transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
+ id="path3656-0"
+ style="font-size:12px;fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round" />
+ </marker>
+ </defs>
+ <text
+ style="font-size:40px;font-style:normal;font-weight:normal;fill:#000000;fill-opacity:1;stroke:none;font-family:Bitstream Vera Sans"
+ xml:space="preserve"
+ id="text5424"
+ y="-65.91375"
+ x="59.491333"><tspan
+ id="tspan5426"
+ y="-65.91375"
+ x="59.491333" /></text>
+ <text
+ sodipodi:linespacing="100%"
+ style="font-size:12px;font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:100%;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Palatino;-inkscape-font-specification:Palatino Italic"
+ xml:space="preserve"
+ id="text3712-5-7-1"
+ y="57.272881"
+ x="-34.764526"><tspan
+ style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;font-family:Palatino;-inkscape-font-specification:Palatino"
+ id="tspan8173"
+ y="57.272881"
+ x="-34.764526" /></text>
+ <rect
+ width="260.11011"
+ height="160.11887"
+ rx="7.6502962"
+ ry="6.5830326"
+ x="0.70966303"
+ y="-160.82852"
+ id="rect3716"
+ style="fill:#f0f0f0;fill-opacity:1;stroke:#000000;stroke-width:1.41932607;stroke-linecap:butt;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:2.83865186, 1.41932594;stroke-dashoffset:0;stroke-opacity:1"
+ transform="scale(1,-1)" />
+ <text
+ x="37.889488"
+ y="35.526455"
+ id="text2417"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="37.889488"
+ y="35.526455"
+ id="tspan2421"
+ style="text-align:center;text-anchor:middle">:</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 35.38949,35.759895 L 25.5,45.759895"
+ id="path2564" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 40.5,35.526455 L 50.5,45.759895"
+ id="path2566" />
+ <text
+ x="53"
+ y="55.759895"
+ id="text2568"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="53"
+ y="55.759895"
+ id="tspan2570"
+ style="text-align:center;text-anchor:middle">:</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 50.77983,55.759895 L 40.89034,65.759895"
+ id="path2572" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 55.5,55.526455 L 65.5,65.759895"
+ id="path2574" />
+ <text
+ x="68"
+ y="75.993332"
+ id="text2576"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="68"
+ y="75.993332"
+ id="tspan2578"
+ style="text-align:center;text-anchor:middle">:</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 65.77983,75.993332 L 55.89034,85.993332"
+ id="path2580" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 70.5,75.759892 L 80.5,85.993332"
+ id="path2582" />
+ <text
+ x="83.10997"
+ y="95.759895"
+ id="text2584"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="83.10997"
+ y="95.759895"
+ id="tspan2586"
+ style="text-align:center;text-anchor:middle">:</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 80.8898,95.759892 L 71.00031,105.75989"
+ id="path2588" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 85.60997,95.526452 L 95.60997,105.75989"
+ id="path2590" />
+ <text
+ x="98"
+ y="115.7599"
+ id="text2592"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="98"
+ y="115.7599"
+ id="tspan2594"
+ style="text-align:center;text-anchor:middle">:</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 95.77983,115.75989 L 85.89034,125.75989"
+ id="path2596" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 100.5,115.52645 L 110.5,125.75989"
+ id="path2598" />
+ <text
+ x="20.5"
+ y="60.759895"
+ id="text2600"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="20.5"
+ y="60.759895"
+ id="tspan2602"
+ style="text-align:center;text-anchor:middle">1</tspan></text>
+ <text
+ x="35.5"
+ y="80.759895"
+ id="text2604"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="35.5"
+ y="80.759895"
+ id="tspan2606"
+ style="text-align:center;text-anchor:middle">2</tspan></text>
+ <text
+ x="50.5"
+ y="100.7599"
+ id="text2608"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="50.5"
+ y="100.7599"
+ id="tspan2610"
+ style="text-align:center;text-anchor:middle">3</tspan></text>
+ <text
+ x="65.5"
+ y="120.7599"
+ id="text2612"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="65.5"
+ y="120.7599"
+ id="tspan2614"
+ style="text-align:center;text-anchor:middle">4</tspan></text>
+ <text
+ x="80.5"
+ y="140.75989"
+ id="text2616"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="80.5"
+ y="140.75989"
+ id="tspan2618"
+ style="text-align:center;text-anchor:middle">5</tspan></text>
+ <text
+ x="117.16016"
+ y="140.75989"
+ id="text2620"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="117.16016"
+ y="140.75989"
+ id="tspan2622"
+ style="text-align:center;text-anchor:middle">[]</tspan></text>
+ <text
+ x="157.77951"
+ y="35.526451"
+ id="text2624"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="157.77951"
+ y="35.526451"
+ id="tspan2626"
+ style="text-align:center;text-anchor:middle">f</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 155.27952,35.759892 L 145.39003,45.759892"
+ id="path2628" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 160.39003,35.526452 L 170.39003,45.759892"
+ id="path2630" />
+ <text
+ x="172.89003"
+ y="55.759895"
+ id="text2632"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="172.89003"
+ y="55.759895"
+ id="tspan2634"
+ style="text-align:center;text-anchor:middle">f</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 170.66986,55.759892 L 160.78037,65.759892"
+ id="path2636" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 175.39003,55.526452 L 185.39003,65.759892"
+ id="path2638" />
+ <text
+ x="187.89001"
+ y="75.993332"
+ id="text2640"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="187.89001"
+ y="75.993332"
+ id="tspan2642"
+ style="text-align:center;text-anchor:middle">f</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 185.66986,75.993332 L 175.78037,85.993332"
+ id="path2644" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 190.39003,75.759892 L 200.39003,85.993332"
+ id="path2646" />
+ <text
+ x="203"
+ y="95.759895"
+ id="text2648"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="203"
+ y="95.759895"
+ id="tspan2650"
+ style="text-align:center;text-anchor:middle">f</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 200.77983,95.759892 L 190.89034,105.75989"
+ id="path2652" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 205.5,95.526452 L 215.5,105.75989"
+ id="path2654" />
+ <text
+ x="217.89001"
+ y="115.7599"
+ id="text2656"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="217.89001"
+ y="115.7599"
+ id="tspan2658"
+ style="text-align:center;text-anchor:middle">f</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 215.66986,115.75989 L 205.78037,125.75989"
+ id="path2660" />
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+ d="M 220.39003,115.52645 L 230.39003,125.75989"
+ id="path2662" />
+ <text
+ x="140.39003"
+ y="60.759895"
+ id="text2664"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="140.39003"
+ y="60.759895"
+ id="tspan2666"
+ style="text-align:center;text-anchor:middle">1</tspan></text>
+ <text
+ x="155.39003"
+ y="80.759895"
+ id="text2668"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="155.39003"
+ y="80.759895"
+ id="tspan2670"
+ style="text-align:center;text-anchor:middle">2</tspan></text>
+ <text
+ x="170.39003"
+ y="100.7599"
+ id="text2672"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="170.39003"
+ y="100.7599"
+ id="tspan2674"
+ style="text-align:center;text-anchor:middle">3</tspan></text>
+ <text
+ x="185.39001"
+ y="120.7599"
+ id="text2676"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="185.39001"
+ y="120.7599"
+ id="tspan2678"
+ style="text-align:center;text-anchor:middle">4</tspan></text>
+ <text
+ x="200.39001"
+ y="140.75989"
+ id="text2680"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="200.39001"
+ y="140.75989"
+ id="tspan2682"
+ style="text-align:center;text-anchor:middle">5</tspan></text>
+ <text
+ x="237.05017"
+ y="140.75989"
+ id="text2684"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="237.05017"
+ y="140.75989"
+ id="tspan2686"
+ style="text-align:center;text-anchor:middle">z</tspan></text>
+ <path
+ style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;marker-start:url(#Arrow1Send);marker-end:url(#Arrow2Mend);stroke-opacity:1"
+ d="M 55.5,30.759895 L 140.5,30.759895"
+ id="path2688" />
+ <text
+ x="97.487534"
+ y="25.415398"
+ id="text4855"
+ xml:space="preserve"
+ style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Palatino;-inkscape-font-specification:Palatino"><tspan
+ x="97.487534"
+ y="25.415398"
+ id="tspan4857"
+ style="text-align:center;text-anchor:middle">foldr f z</tspan></text>
+</svg>