let Map =
      https://github.com/dhall-lang/dhall-lang/raw/v9.0.0/Prelude/Map/Type sha256:210c7a9eba71efbb0f7a66b3dcf8b9d3976ffc2bc0e907aadfb6aa29c333e8ed

let XML =
      https://github.com/dhall-lang/dhall-lang/raw/v9.0.0/Prelude/XML/package.dhall sha256:abace25be73c3ba823abfba92bb3742a0454d521804a5d19ab5dfbf966473a5d

let XML/Type =
      https://github.com/dhall-lang/dhall-lang/raw/v9.0.0/Prelude/XML/Type sha256:461930f3aab769ba537d1a4fd71f411504b0c8d1c1a78d65177be8ded0df8a5c

in  { img =
        λ(attrs : Map Text Text) → XML.leaf { name = "img", attributes = attrs }
    , img_ =
        XML.leaf { name = "img", attributes = XML.emptyAttributes }
    , link =
          λ(attrs : Map Text Text)
        → XML.leaf { name = "link", attributes = attrs }
    , link_ =
        XML.leaf { name = "link", attributes = XML.emptyAttributes }
    , meta =
          λ(attrs : Map Text Text)
        → XML.leaf { name = "meta", attributes = attrs }
    , meta_ =
        XML.leaf { name = "meta", attributes = XML.emptyAttributes }
    , base =
          λ(attrs : Map Text Text)
        → XML.leaf { name = "base", attributes = attrs }
    , base_ =
        XML.leaf { name = "base", attributes = XML.emptyAttributes }
    , br =
        λ(attrs : Map Text Text) → XML.leaf { name = "br", attributes = attrs }
    , br_ =
        XML.leaf { name = "br", attributes = XML.emptyAttributes }
    , hr =
        λ(attrs : Map Text Text) → XML.leaf { name = "hr", attributes = attrs }
    , hr_ =
        XML.leaf { name = "hr", attributes = XML.emptyAttributes }
    , wbr =
        λ(attrs : Map Text Text) → XML.leaf { name = "wbr", attributes = attrs }
    , wbr_ =
        XML.leaf { name = "wbr", attributes = XML.emptyAttributes }
    , area =
          λ(attrs : Map Text Text)
        → XML.leaf { name = "area", attributes = attrs }
    , area_ =
        XML.leaf { name = "area", attributes = XML.emptyAttributes }
    , param =
          λ(attrs : Map Text Text)
        → XML.leaf { name = "param", attributes = attrs }
    , param_ =
        XML.leaf { name = "param", attributes = XML.emptyAttributes }
    , input =
          λ(attrs : Map Text Text)
        → XML.leaf { name = "input", attributes = attrs }
    , input_ =
        XML.leaf { name = "input", attributes = XML.emptyAttributes }
    , html =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "html", attributes = attrs, content = content }
    , html_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "html", attributes = XML.emptyAttributes, content = content }
    , html/ =
          λ(content : Text)
        → XML.element
          { name =
              "html"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , head =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "head", attributes = attrs, content = content }
    , head_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "head", attributes = XML.emptyAttributes, content = content }
    , head/ =
          λ(content : Text)
        → XML.element
          { name =
              "head"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , body =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "body", attributes = attrs, content = content }
    , body_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "body", attributes = XML.emptyAttributes, content = content }
    , body/ =
          λ(content : Text)
        → XML.element
          { name =
              "body"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , object =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "object", attributes = attrs, content = content }
    , object_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "object"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , object/ =
          λ(content : Text)
        → XML.element
          { name =
              "object"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , script =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "script", attributes = attrs, content = content }
    , script_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "script"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , script/ =
          λ(content : Text)
        → XML.element
          { name =
              "script"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , style =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "style", attributes = attrs, content = content }
    , style_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "style"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , style/ =
          λ(content : Text)
        → XML.element
          { name =
              "style"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , title =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "title", attributes = attrs, content = content }
    , title_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "title"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , title/ =
          λ(content : Text)
        → XML.element
          { name =
              "title"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , p =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "p", attributes = attrs, content = content }
    , p_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "p", attributes = XML.emptyAttributes, content = content }
    , p/ =
          λ(content : Text)
        → XML.element
          { name =
              "p"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , h1 =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "h1", attributes = attrs, content = content }
    , h1_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "h1", attributes = XML.emptyAttributes, content = content }
    , h1/ =
          λ(content : Text)
        → XML.element
          { name =
              "h1"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , h2 =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "h2", attributes = attrs, content = content }
    , h2_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "h2", attributes = XML.emptyAttributes, content = content }
    , h2/ =
          λ(content : Text)
        → XML.element
          { name =
              "h2"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , h3 =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "h3", attributes = attrs, content = content }
    , h3_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "h3", attributes = XML.emptyAttributes, content = content }
    , h3/ =
          λ(content : Text)
        → XML.element
          { name =
              "h3"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , h4 =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "h4", attributes = attrs, content = content }
    , h4_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "h4", attributes = XML.emptyAttributes, content = content }
    , h4/ =
          λ(content : Text)
        → XML.element
          { name =
              "h4"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , h5 =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "h5", attributes = attrs, content = content }
    , h5_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "h5", attributes = XML.emptyAttributes, content = content }
    , h5/ =
          λ(content : Text)
        → XML.element
          { name =
              "h5"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , h6 =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "h6", attributes = attrs, content = content }
    , h6_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "h6", attributes = XML.emptyAttributes, content = content }
    , h6/ =
          λ(content : Text)
        → XML.element
          { name =
              "h6"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , dl =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "dl", attributes = attrs, content = content }
    , dl_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "dl", attributes = XML.emptyAttributes, content = content }
    , dl/ =
          λ(content : Text)
        → XML.element
          { name =
              "dl"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , dt =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "dt", attributes = attrs, content = content }
    , dt_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "dt", attributes = XML.emptyAttributes, content = content }
    , dt/ =
          λ(content : Text)
        → XML.element
          { name =
              "dt"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , dd =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "dd", attributes = attrs, content = content }
    , dd_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "dd", attributes = XML.emptyAttributes, content = content }
    , dd/ =
          λ(content : Text)
        → XML.element
          { name =
              "dd"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , ol =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "ol", attributes = attrs, content = content }
    , ol_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "ol", attributes = XML.emptyAttributes, content = content }
    , ol/ =
          λ(content : Text)
        → XML.element
          { name =
              "ol"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , ul =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "ul", attributes = attrs, content = content }
    , ul_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "ul", attributes = XML.emptyAttributes, content = content }
    , ul/ =
          λ(content : Text)
        → XML.element
          { name =
              "ul"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , li =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "li", attributes = attrs, content = content }
    , li_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "li", attributes = XML.emptyAttributes, content = content }
    , li/ =
          λ(content : Text)
        → XML.element
          { name =
              "li"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , address =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "address", attributes = attrs, content = content }
    , address_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "address"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , address/ =
          λ(content : Text)
        → XML.element
          { name =
              "address"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , article =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "article", attributes = attrs, content = content }
    , article_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "article"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , article/ =
          λ(content : Text)
        → XML.element
          { name =
              "article"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , aside =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "aside", attributes = attrs, content = content }
    , aside_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "aside"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , aside/ =
          λ(content : Text)
        → XML.element
          { name =
              "aside"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , blockquote =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "blockquote", attributes = attrs, content = content }
    , blockquote_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "blockquote"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , blockquote/ =
          λ(content : Text)
        → XML.element
          { name =
              "blockquote"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , del =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "del", attributes = attrs, content = content }
    , del_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "del", attributes = XML.emptyAttributes, content = content }
    , del/ =
          λ(content : Text)
        → XML.element
          { name =
              "del"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , div =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "div", attributes = attrs, content = content }
    , div_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "div", attributes = XML.emptyAttributes, content = content }
    , div/ =
          λ(content : Text)
        → XML.element
          { name =
              "div"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , figure =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "figure", attributes = attrs, content = content }
    , figure_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "figure"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , figure/ =
          λ(content : Text)
        → XML.element
          { name =
              "figure"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , figcaption =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "figcaption", attributes = attrs, content = content }
    , figcaption_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "figcaption"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , figcaption/ =
          λ(content : Text)
        → XML.element
          { name =
              "figcaption"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , footer =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "footer", attributes = attrs, content = content }
    , footer_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "footer"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , footer/ =
          λ(content : Text)
        → XML.element
          { name =
              "footer"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , header =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "header", attributes = attrs, content = content }
    , header_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "header"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , header/ =
          λ(content : Text)
        → XML.element
          { name =
              "header"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , ins =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "ins", attributes = attrs, content = content }
    , ins_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "ins", attributes = XML.emptyAttributes, content = content }
    , ins/ =
          λ(content : Text)
        → XML.element
          { name =
              "ins"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , main =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "main", attributes = attrs, content = content }
    , main_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "main", attributes = XML.emptyAttributes, content = content }
    , main/ =
          λ(content : Text)
        → XML.element
          { name =
              "main"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , nav =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "nav", attributes = attrs, content = content }
    , nav_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "nav", attributes = XML.emptyAttributes, content = content }
    , nav/ =
          λ(content : Text)
        → XML.element
          { name =
              "nav"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , noscript =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "noscript", attributes = attrs, content = content }
    , noscript_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "noscript"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , noscript/ =
          λ(content : Text)
        → XML.element
          { name =
              "noscript"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , pre =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "pre", attributes = attrs, content = content }
    , pre_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "pre", attributes = XML.emptyAttributes, content = content }
    , pre/ =
          λ(content : Text)
        → XML.element
          { name =
              "pre"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , section =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "section", attributes = attrs, content = content }
    , section_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "section"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , section/ =
          λ(content : Text)
        → XML.element
          { name =
              "section"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , a =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "a", attributes = attrs, content = content }
    , a_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "a", attributes = XML.emptyAttributes, content = content }
    , a/ =
          λ(content : Text)
        → XML.element
          { name =
              "a"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , abbr =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "abbr", attributes = attrs, content = content }
    , abbr_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "abbr", attributes = XML.emptyAttributes, content = content }
    , abbr/ =
          λ(content : Text)
        → XML.element
          { name =
              "abbr"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , dfn =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "dfn", attributes = attrs, content = content }
    , dfn_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "dfn", attributes = XML.emptyAttributes, content = content }
    , dfn/ =
          λ(content : Text)
        → XML.element
          { name =
              "dfn"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , em =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "em", attributes = attrs, content = content }
    , em_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "em", attributes = XML.emptyAttributes, content = content }
    , em/ =
          λ(content : Text)
        → XML.element
          { name =
              "em"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , strong =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "strong", attributes = attrs, content = content }
    , strong_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "strong"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , strong/ =
          λ(content : Text)
        → XML.element
          { name =
              "strong"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , code =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "code", attributes = attrs, content = content }
    , code_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "code", attributes = XML.emptyAttributes, content = content }
    , code/ =
          λ(content : Text)
        → XML.element
          { name =
              "code"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , kbd =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "kbd", attributes = attrs, content = content }
    , kbd_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "kbd", attributes = XML.emptyAttributes, content = content }
    , kbd/ =
          λ(content : Text)
        → XML.element
          { name =
              "kbd"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , samp =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "samp", attributes = attrs, content = content }
    , samp_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "samp", attributes = XML.emptyAttributes, content = content }
    , samp/ =
          λ(content : Text)
        → XML.element
          { name =
              "samp"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , var =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "var", attributes = attrs, content = content }
    , var_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "var", attributes = XML.emptyAttributes, content = content }
    , var/ =
          λ(content : Text)
        → XML.element
          { name =
              "var"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , b =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "b", attributes = attrs, content = content }
    , b_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "b", attributes = XML.emptyAttributes, content = content }
    , b/ =
          λ(content : Text)
        → XML.element
          { name =
              "b"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , i =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "i", attributes = attrs, content = content }
    , i_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "i", attributes = XML.emptyAttributes, content = content }
    , i/ =
          λ(content : Text)
        → XML.element
          { name =
              "i"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , u =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "u", attributes = attrs, content = content }
    , u_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "u", attributes = XML.emptyAttributes, content = content }
    , u/ =
          λ(content : Text)
        → XML.element
          { name =
              "u"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , small =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "small", attributes = attrs, content = content }
    , small_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "small"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , small/ =
          λ(content : Text)
        → XML.element
          { name =
              "small"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , s =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "s", attributes = attrs, content = content }
    , s_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "s", attributes = XML.emptyAttributes, content = content }
    , s/ =
          λ(content : Text)
        → XML.element
          { name =
              "s"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , span =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "span", attributes = attrs, content = content }
    , span_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "span", attributes = XML.emptyAttributes, content = content }
    , span/ =
          λ(content : Text)
        → XML.element
          { name =
              "span"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , bdi =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "bdi", attributes = attrs, content = content }
    , bdi_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "bdi", attributes = XML.emptyAttributes, content = content }
    , bdi/ =
          λ(content : Text)
        → XML.element
          { name =
              "bdi"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , bdo =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "bdo", attributes = attrs, content = content }
    , bdo_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "bdo", attributes = XML.emptyAttributes, content = content }
    , bdo/ =
          λ(content : Text)
        → XML.element
          { name =
              "bdo"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , cite =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "cite", attributes = attrs, content = content }
    , cite_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "cite", attributes = XML.emptyAttributes, content = content }
    , cite/ =
          λ(content : Text)
        → XML.element
          { name =
              "cite"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , data =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "data", attributes = attrs, content = content }
    , data_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "data", attributes = XML.emptyAttributes, content = content }
    , data/ =
          λ(content : Text)
        → XML.element
          { name =
              "data"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , mark =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "mark", attributes = attrs, content = content }
    , mark_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "mark", attributes = XML.emptyAttributes, content = content }
    , mark/ =
          λ(content : Text)
        → XML.element
          { name =
              "mark"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , q =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "q", attributes = attrs, content = content }
    , q_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "q", attributes = XML.emptyAttributes, content = content }
    , q/ =
          λ(content : Text)
        → XML.element
          { name =
              "q"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , rb =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "rb", attributes = attrs, content = content }
    , rb_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "rb", attributes = XML.emptyAttributes, content = content }
    , rb/ =
          λ(content : Text)
        → XML.element
          { name =
              "rb"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , rp =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "rp", attributes = attrs, content = content }
    , rp_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "rp", attributes = XML.emptyAttributes, content = content }
    , rp/ =
          λ(content : Text)
        → XML.element
          { name =
              "rp"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , rt =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "rt", attributes = attrs, content = content }
    , rt_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "rt", attributes = XML.emptyAttributes, content = content }
    , rt/ =
          λ(content : Text)
        → XML.element
          { name =
              "rt"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , rtc =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "rtc", attributes = attrs, content = content }
    , rtc_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "rtc", attributes = XML.emptyAttributes, content = content }
    , rtc/ =
          λ(content : Text)
        → XML.element
          { name =
              "rtc"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , ruby =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "ruby", attributes = attrs, content = content }
    , ruby_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "ruby", attributes = XML.emptyAttributes, content = content }
    , ruby/ =
          λ(content : Text)
        → XML.element
          { name =
              "ruby"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , sub =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "sub", attributes = attrs, content = content }
    , sub_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "sub", attributes = XML.emptyAttributes, content = content }
    , sub/ =
          λ(content : Text)
        → XML.element
          { name =
              "sub"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , sup =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "sup", attributes = attrs, content = content }
    , sup_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "sup", attributes = XML.emptyAttributes, content = content }
    , sup/ =
          λ(content : Text)
        → XML.element
          { name =
              "sup"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , template =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "template", attributes = attrs, content = content }
    , template_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "template"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , template/ =
          λ(content : Text)
        → XML.element
          { name =
              "template"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , time =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "time", attributes = attrs, content = content }
    , time_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "time", attributes = XML.emptyAttributes, content = content }
    , time/ =
          λ(content : Text)
        → XML.element
          { name =
              "time"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , audio =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "audio", attributes = attrs, content = content }
    , audio_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "audio"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , audio/ =
          λ(content : Text)
        → XML.element
          { name =
              "audio"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , canvas =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "canvas", attributes = attrs, content = content }
    , canvas_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "canvas"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , canvas/ =
          λ(content : Text)
        → XML.element
          { name =
              "canvas"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , embed =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "embed", attributes = attrs, content = content }
    , embed_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "embed"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , embed/ =
          λ(content : Text)
        → XML.element
          { name =
              "embed"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , map =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "map", attributes = attrs, content = content }
    , map_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "map", attributes = XML.emptyAttributes, content = content }
    , map/ =
          λ(content : Text)
        → XML.element
          { name =
              "map"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , source =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "source", attributes = attrs, content = content }
    , source_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "source"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , source/ =
          λ(content : Text)
        → XML.element
          { name =
              "source"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , track =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "track", attributes = attrs, content = content }
    , track_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "track"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , track/ =
          λ(content : Text)
        → XML.element
          { name =
              "track"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , video =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "video", attributes = attrs, content = content }
    , video_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "video"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , video/ =
          λ(content : Text)
        → XML.element
          { name =
              "video"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , form =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "form", attributes = attrs, content = content }
    , form_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "form", attributes = XML.emptyAttributes, content = content }
    , form/ =
          λ(content : Text)
        → XML.element
          { name =
              "form"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , button =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "button", attributes = attrs, content = content }
    , button_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "button"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , button/ =
          λ(content : Text)
        → XML.element
          { name =
              "button"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , datalist =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "datalist", attributes = attrs, content = content }
    , datalist_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "datalist"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , datalist/ =
          λ(content : Text)
        → XML.element
          { name =
              "datalist"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , fieldset =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "fieldset", attributes = attrs, content = content }
    , fieldset_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "fieldset"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , fieldset/ =
          λ(content : Text)
        → XML.element
          { name =
              "fieldset"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , label =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "label", attributes = attrs, content = content }
    , label_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "label"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , label/ =
          λ(content : Text)
        → XML.element
          { name =
              "label"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , legend =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "legend", attributes = attrs, content = content }
    , legend_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "legend"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , legend/ =
          λ(content : Text)
        → XML.element
          { name =
              "legend"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , meter =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "meter", attributes = attrs, content = content }
    , meter_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "meter"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , meter/ =
          λ(content : Text)
        → XML.element
          { name =
              "meter"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , option =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "option", attributes = attrs, content = content }
    , option_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "option"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , option/ =
          λ(content : Text)
        → XML.element
          { name =
              "option"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , optgroup =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "optgroup", attributes = attrs, content = content }
    , optgroup_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "optgroup"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , optgroup/ =
          λ(content : Text)
        → XML.element
          { name =
              "optgroup"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , output =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "output", attributes = attrs, content = content }
    , output_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "output"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , output/ =
          λ(content : Text)
        → XML.element
          { name =
              "output"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , progress =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "progress", attributes = attrs, content = content }
    , progress_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "progress"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , progress/ =
          λ(content : Text)
        → XML.element
          { name =
              "progress"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , select =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "select", attributes = attrs, content = content }
    , select_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "select"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , select/ =
          λ(content : Text)
        → XML.element
          { name =
              "select"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , textarea =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "textarea", attributes = attrs, content = content }
    , textarea_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "textarea"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , textarea/ =
          λ(content : Text)
        → XML.element
          { name =
              "textarea"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , table =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "table", attributes = attrs, content = content }
    , table_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "table"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , table/ =
          λ(content : Text)
        → XML.element
          { name =
              "table"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , tr =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "tr", attributes = attrs, content = content }
    , tr_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "tr", attributes = XML.emptyAttributes, content = content }
    , tr/ =
          λ(content : Text)
        → XML.element
          { name =
              "tr"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , th =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "th", attributes = attrs, content = content }
    , th_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "th", attributes = XML.emptyAttributes, content = content }
    , th/ =
          λ(content : Text)
        → XML.element
          { name =
              "th"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , td =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "td", attributes = attrs, content = content }
    , td_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "td", attributes = XML.emptyAttributes, content = content }
    , td/ =
          λ(content : Text)
        → XML.element
          { name =
              "td"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , colgroup =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "colgroup", attributes = attrs, content = content }
    , colgroup_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "colgroup"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , colgroup/ =
          λ(content : Text)
        → XML.element
          { name =
              "colgroup"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , col =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "col", attributes = attrs, content = content }
    , col_ =
          λ(content : List XML/Type)
        → XML.element
          { name = "col", attributes = XML.emptyAttributes, content = content }
    , col/ =
          λ(content : Text)
        → XML.element
          { name =
              "col"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , caption =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element
          { name = "caption", attributes = attrs, content = content }
    , caption_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "caption"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , caption/ =
          λ(content : Text)
        → XML.element
          { name =
              "caption"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , thead =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "thead", attributes = attrs, content = content }
    , thead_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "thead"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , thead/ =
          λ(content : Text)
        → XML.element
          { name =
              "thead"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , tbody =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "tbody", attributes = attrs, content = content }
    , tbody_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "tbody"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , tbody/ =
          λ(content : Text)
        → XML.element
          { name =
              "tbody"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , tfoot =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "tfoot", attributes = attrs, content = content }
    , tfoot_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "tfoot"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , tfoot/ =
          λ(content : Text)
        → XML.element
          { name =
              "tfoot"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , iframe =
          λ(attrs : Map Text Text)
        → λ(content : List XML/Type)
        → XML.element { name = "iframe", attributes = attrs, content = content }
    , iframe_ =
          λ(content : List XML/Type)
        → XML.element
          { name =
              "iframe"
          , attributes =
              XML.emptyAttributes
          , content =
              content
          }
    , iframe/ =
          λ(content : Text)
        → XML.element
          { name =
              "iframe"
          , attributes =
              XML.emptyAttributes
          , content =
              [ XML.text content ]
          }
    , text =
        XML.text
    }