A list child's identity, which modules/live needs to tell one row from another across a diff. It reaches Html.Element.key through its own type rather than through an intercepted attribute name, because interception by string is exactly the convention-not-type problem the field exists to avoid.
