["html",
  ["p",
    "Email addresses written like ",
    ["a",
      { "href" : "mailto:bill@microsoft.com" },
      "bill@microsoft.com"
    ],
    " get autolinkified."
  ]
]