<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<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"
   width="144.88226"
   height="145.84274"
   viewBox="358 100 128.50827 205.80031"
   id="svg3577"
   version="1.1"
   inkscape:version="1.0.1 (3bc2e813f5, 2020-09-07)"
   sodipodi:docname="optional-subtyping.svg">
  <metadata
     id="metadata3693">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <defs
     id="defs3691" />
  <sodipodi:namedview
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1"
     objecttolerance="10"
     gridtolerance="10"
     guidetolerance="10"
     inkscape:pageopacity="0"
     inkscape:pageshadow="2"
     inkscape:window-width="1707"
     inkscape:window-height="1035"
     id="namedview3689"
     showgrid="false"
     inkscape:zoom="2.3166763"
     inkscape:cx="-46.627506"
     inkscape:cy="30.487617"
     inkscape:window-x="9"
     inkscape:window-y="27"
     inkscape:window-maximized="0"
     inkscape:current-layer="g3609-3"
     inkscape:document-rotation="0"
     fit-margin-top="0"
     fit-margin-left="0"
     fit-margin-right="0"
     fit-margin-bottom="0" />
  <g
     id="g3589"
     transform="translate(-37.864476,-19)">
    <rect
       style="fill:#ffffff"
       x="360"
       y="120"
       width="201"
       height="44"
       id="rect3591" />
    <rect
       style="fill:none;stroke:#000000;stroke-width:2"
       x="360"
       y="120"
       width="201"
       height="44"
       id="rect3593" />
    <text
       font-size="15.8044"
       style="font-style:normal;font-weight:normal;font-size:15.8044px;line-height:0%;font-family:'courier new';text-anchor:middle;fill:#000000"
       x="460.5"
       y="146.772"
       id="text3595"><tspan
         x="460.5"
         y="146.772"
         id="tspan3597">@MaybePresent</tspan></text>
  </g>
  <g
     id="g3609"
     transform="translate(-37.864476,-19)">
    <rect
       style="fill:#ffffff"
       x="360"
       y="200"
       width="201"
       height="44"
       id="rect3611" />
    <rect
       style="fill:none;stroke:#000000;stroke-width:2"
       x="360"
       y="200"
       width="201"
       height="44"
       id="rect3613" />
    <text
       font-size="15.8044"
       style="font-style:normal;font-weight:normal;font-size:15.8044px;line-height:0%;font-family:'courier new';text-anchor:middle;fill:#000000"
       x="460.5"
       y="226.772"
       id="text3615"><tspan
         x="460.5"
         y="226.772"
         id="tspan3617">@Present</tspan></text>
  </g>
  <text
     font-size="12.8"
     style="font-style:normal;font-weight:normal;font-size:12.8px;line-height:0%;font-family:'courier new';text-anchor:start;fill:#000000"
     x="423.14307"
     y="70.007416"
     id="text3619"><tspan
       x="423.14307"
       y="70.007416"
       id="tspan3621" /></text>
  <g
     id="g3657"
     transform="translate(-37.864476,-19)">
    <line
       style="fill:none;stroke:#000000;stroke-width:2"
       x1="460.5"
       y1="200"
       x2="460.5"
       y2="173.73599"
       id="line3659" />
    <polygon
       style="fill:#000000"
       points="465.5,176.236 460.5,173.736 455.5,176.236 460.5,166.236 "
       id="polygon3661" />
    <polygon
       style="fill:none;stroke:#000000;stroke-width:2"
       points="465.5,176.236 460.5,173.736 455.5,176.236 460.5,166.236 "
       id="polygon3663" />
  </g>
  <text
     font-size="12.8"
     style="font-style:normal;font-weight:normal;font-size:12.8px;line-height:0%;font-family:'courier new';text-anchor:start;fill:#000000"
     x="423.14307"
     y="70.007416"
     id="text3673"><tspan
       x="423.14307"
       y="70.007416"
       id="tspan3675" /></text>
  <g
     id="g3609-3"
     transform="translate(-39.309445,60.800322)">
    <rect
       style="fill:#ffffff"
       x="360"
       y="200"
       width="201"
       height="44"
       id="rect3611-6" />
    <rect
       style="fill:none;stroke:#000000;stroke-width:2"
       x="360"
       y="200"
       width="201"
       height="44"
       id="rect3613-7" />
    <text
       font-size="15.8044"
       style="font-style:normal;font-weight:normal;font-size:15.8044px;line-height:0%;font-family:'courier new';text-anchor:middle;fill:#000000"
       x="460.5"
       y="226.772"
       id="text3615-5"><tspan
         x="460.5"
         y="226.772"
         id="tspan3617-3">@OptionalBottom</tspan></text>
  </g>
  <g
     id="g3657-5"
     transform="translate(-39.309445,60.800322)">
    <line
       style="fill:none;stroke:#000000;stroke-width:2"
       x1="460.5"
       y1="200"
       x2="460.5"
       y2="173.73599"
       id="line3659-6" />
    <polygon
       style="fill:#000000"
       points="460.5,173.736 455.5,176.236 460.5,166.236 465.5,176.236 "
       id="polygon3661-2" />
    <polygon
       style="fill:none;stroke:#000000;stroke-width:2"
       points="460.5,173.736 455.5,176.236 460.5,166.236 465.5,176.236 "
       id="polygon3663-9" />
  </g>
</svg>