foldkit 0.133.0 → 0.135.0

package/dist/html/index.d.ts

@@ -1,16 +1,17 @@
-import { Context, Data, Option, Schema as S, Stream } from 'effect';
+import { Context, Data, Option, Schema as S } from 'effect';
 import type { File } from '../file/index.js';
 import type { MountAction } from '../mount/index.js';
 import { VNode } from '../vdom.js';
 import { type ChildAttribute } from './childAttribute.js';
 import { type DispatchSync } from './runtimeSingleton.js';
+import { type AnySubmodelView, type SubmodelConfig } from './submodel.js';
 export { createKeyedLazy, createLazy } from './lazy.js';
 export { beginRender as __beginRender, createBoundaryRegistry as __createBoundaryRegistry, } from './boundary.js';
 export type { BoundaryRegistry } from './boundary.js';
 export { childAttributes } from './childAttribute.js';
 export type { ChildAttribute } from './childAttribute.js';
-export { defineView, submodel } from './submodel.js';
-export type { SubmodelConfig, SubmodelView } from './submodel.js';
+export { defineView } from './submodel.js';
+export type { AnySubmodelView, SubmodelConfig, SubmodelView, } from './submodel.js';
 /** Pushes a dispatch and runtime context frame for the duration of a render.
  *  The runtime calls this immediately before invoking a user `view` and
  *  matches it with {@link __clearRuntime} in a `finally` so an exception
@@ -1083,2516 +1084,1539 @@ export { Prop, OnCustomEvent };
 export declare const customElement: <Message>() => (tagName: string) => (attributes?: ReadonlyArray<Attribute<Message> | ChildAttribute>, children?: ReadonlyArray<Child>) => Html;
 type ElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message> | ChildAttribute>, children: ReadonlyArray<Child>) => Html;
 type VoidElementFunction<Message> = (attributes: ReadonlyArray<Attribute<Message> | ChildAttribute>) => Html;
-declare const buildHtmlFactory: <Message>() => {
-    empty: null;
-    keyed: (tagName: TagName) => (key: PropertyKey, attributes?: readonly (Readonly<{
-        readonly attribute: unknown;
-        readonly dispatch: DispatchSync;
-        readonly resolveUnmount: (message: unknown) => () => void;
-        readonly boundaryMappers: ReadonlyArray<(message: unknown) => unknown>;
-        readonly __childAttribute: true;
-    }> | {
-        readonly _tag: "Type";
-        readonly value: string;
-    } | {
-        readonly _tag: "Filter";
-        readonly value: string;
-    } | {
-        readonly _tag: "Loading";
-        readonly value: string;
-    } | {
-        readonly _tag: "Start";
-        readonly value: number;
-    } | {
-        readonly _tag: "OnFileChange";
-        readonly f: (files: ReadonlyArray<File>) => Message;
-    } | {
-        readonly _tag: "OnDropFiles";
-        readonly f: (files: ReadonlyArray<File>) => Message;
-    } | {
-        readonly _tag: "Key";
-        readonly value: string;
-    } | {
-        readonly _tag: "Class";
-        readonly value: string;
-    } | {
-        readonly _tag: "Id";
-        readonly value: string;
-    } | {
-        readonly _tag: "Title";
-        readonly value: string;
-    } | {
-        readonly _tag: "Lang";
-        readonly value: string;
-    } | {
-        readonly _tag: "Dir";
-        readonly value: string;
-    } | {
-        readonly _tag: "Tabindex";
-        readonly value: number;
-    } | {
-        readonly _tag: "Hidden";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Contenteditable";
-        readonly value: string;
-    } | {
-        readonly _tag: "Draggable";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Accesskey";
-        readonly value: string;
-    } | {
-        readonly _tag: "Translate";
-        readonly value: string;
-    } | {
-        readonly _tag: "Inert";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Popover";
-        readonly value: string;
-    } | {
-        readonly _tag: "Popovertarget";
-        readonly value: string;
-    } | {
-        readonly _tag: "Popovertargetaction";
-        readonly value: string;
-    } | {
-        readonly _tag: "OnClick";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnClickFocus";
-        readonly focusSelector: string;
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnDoubleClick";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnMouseDown";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnMouseUp";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnMouseEnter";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnMouseLeave";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnMouseOver";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnMouseOut";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnMouseMove";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnPointerMove";
-        readonly f: (screenX: number, screenY: number, pointerType: string) => Option.Option<Message>;
-    } | {
-        readonly _tag: "OnPointerLeave";
-        readonly f: (pointerType: string) => Option.Option<Message>;
-    } | {
-        readonly _tag: "OnPointerDown";
-        readonly f: (pointerType: string, button: number, screenX: number, screenY: number, timeStamp: number, clientX: number, clientY: number) => Option.Option<Message>;
-    } | {
-        readonly _tag: "OnPointerUp";
-        readonly f: (screenX: number, screenY: number, pointerType: string, timeStamp: number) => Option.Option<Message>;
-    } | {
-        readonly _tag: "OnKeyDown";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Message;
-    } | {
-        readonly _tag: "OnKeyDownPreventDefault";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Option.Option<Message>;
-    } | {
-        readonly _tag: "OnKeyDownFocus";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Option.Option<Readonly<{
-            focusSelector: string;
-            message: Message;
-        }>>;
-    } | {
-        readonly _tag: "OnKeyUp";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Message;
-    } | {
-        readonly _tag: "OnKeyUpPreventDefault";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Option.Option<Message>;
-    } | {
-        readonly _tag: "OnKeyPress";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Message;
-    } | {
-        readonly _tag: "OnFocus";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnBlur";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnInput";
-        readonly f: (value: string) => Message;
-    } | {
-        readonly _tag: "OnChange";
-        readonly f: (value: string) => Message;
-    } | {
-        readonly _tag: "OnSubmit";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnReset";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnScroll";
-        readonly f: (scrollTop: number) => Message;
-    } | {
-        readonly _tag: "OnWheel";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnCopy";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnCut";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnPaste";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnPastePreventDefault";
-        readonly f: (text: string) => Option.Option<Message>;
-    } | {
-        readonly _tag: "OnCopyText";
-        readonly text: string;
-    } | {
-        readonly _tag: "OnCutText";
-        readonly text: string;
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnCancel";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnToggle";
-        readonly f: (isOpen: boolean) => Message;
-    } | {
-        readonly _tag: "OnContextMenu";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnDragStart";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnDrag";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnDragEnd";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnDragEnter";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnDragLeave";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnDragOver";
-        readonly message: Message;
-    } | {
-        readonly _tag: "AllowDrop";
-    } | {
-        readonly _tag: "OnDrop";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnTouchStart";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnTouchEnd";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnTouchMove";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnTouchCancel";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnAnimationStart";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnAnimationEnd";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnAnimationIteration";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnTransitionEnd";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnLoad";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnError";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnPlay";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnPause";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnEnded";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnTimeUpdate";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnVolumeChange";
-        readonly message: Message;
-    } | {
-        readonly _tag: "OnSelect";
-        readonly message: Message;
-    } | {
-        readonly _tag: "Value";
-        readonly value: string;
-    } | {
-        readonly _tag: "Checked";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Selected";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Open";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Placeholder";
-        readonly value: string;
-    } | {
-        readonly _tag: "Name";
-        readonly value: string;
-    } | {
-        readonly _tag: "Disabled";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Readonly";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Required";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Autofocus";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Spellcheck";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Autocorrect";
-        readonly value: string;
-    } | {
-        readonly _tag: "Autocapitalize";
-        readonly value: string;
-    } | {
-        readonly _tag: "InputMode";
-        readonly value: string;
-    } | {
-        readonly _tag: "EnterKeyHint";
-        readonly value: string;
-    } | {
-        readonly _tag: "Multiple";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Accept";
-        readonly value: string;
-    } | {
-        readonly _tag: "Autocomplete";
-        readonly value: string;
-    } | {
-        readonly _tag: "Pattern";
-        readonly value: string;
-    } | {
-        readonly _tag: "Maxlength";
-        readonly value: number;
-    } | {
-        readonly _tag: "Minlength";
-        readonly value: number;
-    } | {
-        readonly _tag: "Size";
-        readonly value: number;
-    } | {
-        readonly _tag: "Cols";
-        readonly value: number;
-    } | {
-        readonly _tag: "Rows";
-        readonly value: number;
-    } | {
-        readonly _tag: "Max";
-        readonly value: string;
-    } | {
-        readonly _tag: "Min";
-        readonly value: string;
-    } | {
-        readonly _tag: "Step";
-        readonly value: string;
-    } | {
-        readonly _tag: "For";
-        readonly value: string;
-    } | {
-        readonly _tag: "Href";
-        readonly value: string;
-    } | {
-        readonly _tag: "Src";
-        readonly value: string;
-    } | {
-        readonly _tag: "Alt";
-        readonly value: string;
-    } | {
-        readonly _tag: "Target";
-        readonly value: string;
-    } | {
-        readonly _tag: "Rel";
-        readonly value: string;
-    } | {
-        readonly _tag: "Download";
-        readonly value: string;
-    } | {
-        readonly _tag: "Action";
-        readonly value: string;
-    } | {
-        readonly _tag: "Method";
-        readonly value: string;
-    } | {
-        readonly _tag: "Enctype";
-        readonly value: string;
-    } | {
-        readonly _tag: "Novalidate";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Formaction";
-        readonly value: string;
-    } | {
-        readonly _tag: "Formmethod";
-        readonly value: string;
-    } | {
-        readonly _tag: "Formnovalidate";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Formtarget";
-        readonly value: string;
-    } | {
-        readonly _tag: "Formenctype";
-        readonly value: string;
-    } | {
-        readonly _tag: "Colspan";
-        readonly value: number;
-    } | {
-        readonly _tag: "Rowspan";
-        readonly value: number;
-    } | {
-        readonly _tag: "Scope";
-        readonly value: string;
-    } | {
-        readonly _tag: "Headers";
-        readonly value: string;
-    } | {
-        readonly _tag: "Span";
-        readonly value: number;
-    } | {
-        readonly _tag: "Reversed";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "CiteAttr";
-        readonly value: string;
-    } | {
-        readonly _tag: "Datetime";
-        readonly value: string;
-    } | {
-        readonly _tag: "Wrap";
-        readonly value: string;
-    } | {
-        readonly _tag: "List";
-        readonly value: string;
-    } | {
-        readonly _tag: "FormAttr";
-        readonly value: string;
-    } | {
-        readonly _tag: "LabelAttr";
-        readonly value: string;
-    } | {
-        readonly _tag: "ContentAttr";
-        readonly value: string;
-    } | {
-        readonly _tag: "Charset";
-        readonly value: string;
-    } | {
-        readonly _tag: "HttpEquiv";
-        readonly value: string;
-    } | {
-        readonly _tag: "Srcset";
-        readonly value: string;
-    } | {
-        readonly _tag: "Sizes";
-        readonly value: string;
-    } | {
-        readonly _tag: "Decoding";
-        readonly value: string;
-    } | {
-        readonly _tag: "Fetchpriority";
-        readonly value: string;
-    } | {
-        readonly _tag: "Crossorigin";
-        readonly value: string;
-    } | {
-        readonly _tag: "Referrerpolicy";
-        readonly value: string;
-    } | {
-        readonly _tag: "Integrity";
-        readonly value: string;
-    } | {
-        readonly _tag: "Hreflang";
-        readonly value: string;
-    } | {
-        readonly _tag: "Ping";
-        readonly value: string;
-    } | {
-        readonly _tag: "Sandbox";
-        readonly value: string;
-    } | {
-        readonly _tag: "Allow";
-        readonly value: string;
-    } | {
-        readonly _tag: "Srcdoc";
-        readonly value: string;
-    } | {
-        readonly _tag: "Autoplay";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Controls";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Loop";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Muted";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Poster";
-        readonly value: string;
-    } | {
-        readonly _tag: "Preload";
-        readonly value: string;
-    } | {
-        readonly _tag: "Playsinline";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "High";
-        readonly value: number;
-    } | {
-        readonly _tag: "Low";
-        readonly value: number;
-    } | {
-        readonly _tag: "Optimum";
-        readonly value: number;
-    } | {
-        readonly _tag: "Usemap";
-        readonly value: string;
-    } | {
-        readonly _tag: "Ismap";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "Role";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaLabel";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaLabelledBy";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaDescribedBy";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaHidden";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaExpanded";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaSelected";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaChecked";
-        readonly value: boolean | "mixed";
-    } | {
-        readonly _tag: "AriaDisabled";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaRequired";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaInvalid";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaLive";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaControls";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaCurrent";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaOrientation";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaPressed";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaHasPopup";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaActiveDescendant";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaSort";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaMultiSelectable";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaModal";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaBusy";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaErrorMessage";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaRoleDescription";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaAtomic";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaAutocomplete";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaColcount";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaColindex";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaColspan";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaDescription";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaDetails";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaFlowto";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaKeyshortcuts";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaLevel";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaOwns";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaPlaceholder";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaPosinset";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaReadonly";
-        readonly value: boolean;
-    } | {
-        readonly _tag: "AriaRelevant";
-        readonly value: string;
-    } | {
-        readonly _tag: "AriaRowcount";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaRowindex";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaRowspan";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaSetsize";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaValuemax";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaValuemin";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaValuenow";
-        readonly value: number;
-    } | {
-        readonly _tag: "AriaValuetext";
-        readonly value: string;
-    } | {
-        readonly _tag: "Attribute";
-        readonly key: string;
-        readonly value: string;
-    } | {
-        readonly _tag: "DataAttribute";
-        readonly key: string;
-        readonly value: string;
-    } | {
-        readonly _tag: "Style";
-        readonly value: Record<string, string>;
-    } | {
-        readonly _tag: "InnerHTML";
-        readonly value: string;
-    } | {
-        readonly _tag: "ViewBox";
-        readonly value: string;
-    } | {
-        readonly _tag: "Xmlns";
-        readonly value: string;
-    } | {
-        readonly _tag: "Fill";
-        readonly value: string;
-    } | {
-        readonly _tag: "FillRule";
-        readonly value: string;
-    } | {
-        readonly _tag: "ClipRule";
-        readonly value: string;
-    } | {
-        readonly _tag: "Stroke";
-        readonly value: string;
-    } | {
-        readonly _tag: "StrokeWidth";
-        readonly value: string;
-    } | {
-        readonly _tag: "StrokeLinecap";
-        readonly value: string;
-    } | {
-        readonly _tag: "StrokeLinejoin";
-        readonly value: string;
-    } | {
-        readonly _tag: "D";
-        readonly value: string;
-    } | {
-        readonly _tag: "Cx";
-        readonly value: string;
-    } | {
-        readonly _tag: "Cy";
-        readonly value: string;
-    } | {
-        readonly _tag: "R";
-        readonly value: string;
-    } | {
-        readonly _tag: "X";
-        readonly value: string;
-    } | {
-        readonly _tag: "Y";
-        readonly value: string;
-    } | {
-        readonly _tag: "Width";
-        readonly value: string;
-    } | {
-        readonly _tag: "Height";
-        readonly value: string;
-    } | {
-        readonly _tag: "X1";
-        readonly value: string;
-    } | {
-        readonly _tag: "Y1";
-        readonly value: string;
-    } | {
-        readonly _tag: "X2";
-        readonly value: string;
-    } | {
-        readonly _tag: "Y2";
-        readonly value: string;
-    } | {
-        readonly _tag: "Points";
-        readonly value: string;
-    } | {
-        readonly _tag: "Transform";
-        readonly value: string;
-    } | {
-        readonly _tag: "Opacity";
-        readonly value: string;
-    } | {
-        readonly _tag: "StrokeDasharray";
-        readonly value: string;
-    } | {
-        readonly _tag: "StrokeDashoffset";
-        readonly value: string;
-    } | {
-        readonly _tag: "Dx";
-        readonly value: string;
-    } | {
-        readonly _tag: "Dy";
-        readonly value: string;
-    } | {
-        readonly _tag: "Rotate";
-        readonly value: string;
-    } | {
-        readonly _tag: "TextAnchor";
-        readonly value: string;
-    } | {
-        readonly _tag: "DominantBaseline";
-        readonly value: string;
-    } | {
-        readonly _tag: "AlignmentBaseline";
-        readonly value: string;
-    } | {
-        readonly _tag: "BaselineShift";
-        readonly value: string;
-    } | {
-        readonly _tag: "TextLength";
-        readonly value: string;
-    } | {
-        readonly _tag: "LengthAdjust";
-        readonly value: string;
-    } | {
-        readonly _tag: "FontFamily";
-        readonly value: string;
-    } | {
-        readonly _tag: "FontSize";
-        readonly value: string;
-    } | {
-        readonly _tag: "FontWeight";
-        readonly value: string;
-    } | {
-        readonly _tag: "FontStyle";
-        readonly value: string;
-    } | {
-        readonly _tag: "LetterSpacing";
-        readonly value: string;
-    } | {
-        readonly _tag: "WordSpacing";
-        readonly value: string;
-    } | {
-        readonly _tag: "TextDecoration";
-        readonly value: string;
-    } | {
-        readonly _tag: "WritingMode";
-        readonly value: string;
-    } | {
-        readonly _tag: "Rx";
-        readonly value: string;
-    } | {
-        readonly _tag: "Ry";
-        readonly value: string;
-    } | {
-        readonly _tag: "PathLength";
-        readonly value: string;
-    } | {
-        readonly _tag: "FillOpacity";
-        readonly value: string;
-    } | {
-        readonly _tag: "StrokeOpacity";
-        readonly value: string;
-    } | {
-        readonly _tag: "StrokeMiterlimit";
-        readonly value: string;
-    } | {
-        readonly _tag: "PaintOrder";
-        readonly value: string;
-    } | {
-        readonly _tag: "VectorEffect";
-        readonly value: string;
-    } | {
-        readonly _tag: "Color";
-        readonly value: string;
-    } | {
-        readonly _tag: "Visibility";
-        readonly value: string;
-    } | {
-        readonly _tag: "Display";
-        readonly value: string;
-    } | {
-        readonly _tag: "Overflow";
-        readonly value: string;
-    } | {
-        readonly _tag: "PointerEvents";
-        readonly value: string;
-    } | {
-        readonly _tag: "Cursor";
-        readonly value: string;
-    } | {
-        readonly _tag: "ShapeRendering";
-        readonly value: string;
-    } | {
-        readonly _tag: "TextRendering";
-        readonly value: string;
-    } | {
-        readonly _tag: "ImageRendering";
-        readonly value: string;
-    } | {
-        readonly _tag: "ClipPath";
-        readonly value: string;
-    } | {
-        readonly _tag: "Mask";
-        readonly value: string;
-    } | {
-        readonly _tag: "ClipPathUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "MaskUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "MaskContentUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "FilterUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "PrimitiveUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "Offset";
-        readonly value: string;
-    } | {
-        readonly _tag: "StopColor";
-        readonly value: string;
-    } | {
-        readonly _tag: "StopOpacity";
-        readonly value: string;
-    } | {
-        readonly _tag: "GradientUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "GradientTransform";
-        readonly value: string;
-    } | {
-        readonly _tag: "SpreadMethod";
-        readonly value: string;
-    } | {
-        readonly _tag: "Fx";
-        readonly value: string;
-    } | {
-        readonly _tag: "Fy";
-        readonly value: string;
-    } | {
-        readonly _tag: "Fr";
-        readonly value: string;
-    } | {
-        readonly _tag: "PatternUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "PatternContentUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "PatternTransform";
-        readonly value: string;
-    } | {
-        readonly _tag: "MarkerStart";
-        readonly value: string;
-    } | {
-        readonly _tag: "MarkerMid";
-        readonly value: string;
-    } | {
-        readonly _tag: "MarkerEnd";
-        readonly value: string;
-    } | {
-        readonly _tag: "MarkerWidth";
-        readonly value: string;
-    } | {
-        readonly _tag: "MarkerHeight";
-        readonly value: string;
-    } | {
-        readonly _tag: "MarkerUnits";
-        readonly value: string;
-    } | {
-        readonly _tag: "RefX";
-        readonly value: string;
-    } | {
-        readonly _tag: "RefY";
-        readonly value: string;
-    } | {
-        readonly _tag: "Orient";
-        readonly value: string;
-    } | {
-        readonly _tag: "PreserveAspectRatio";
-        readonly value: string;
-    } | {
-        readonly _tag: "Prop";
-        readonly key: string;
-        readonly value: unknown;
-    } | {
-        readonly _tag: "OnCustomEvent";
-        readonly name: string;
-        readonly f: (event: CustomEvent<any>) => Message;
-    } | {
-        readonly _tag: "OnMount";
-        readonly action: Readonly<{
-            name: string;
-            args?: Record<string, unknown>;
-            f: (element: Element) => Stream.Stream<Message, any, never>;
-        }>;
-    } | {
-        readonly _tag: "OnUnmount";
-        readonly message: Message;
-    })[], children?: ReadonlyArray<Child>) => Html;
-    submodel: <View extends ((...args: ReadonlyArray<any>) => VNode | null) & {
-        readonly __submodelMessage: unknown;
-    }>(config: import("./submodel.js").SubmodelConfig<View>) => VNode | null;
+type HtmlElements<Message> = {
+    a: ElementFunction<Message>;
+    abbr: ElementFunction<Message>;
+    address: ElementFunction<Message>;
+    area: VoidElementFunction<Message>;
+    article: ElementFunction<Message>;
+    aside: ElementFunction<Message>;
+    audio: ElementFunction<Message>;
+    b: ElementFunction<Message>;
+    base: VoidElementFunction<Message>;
+    bdi: ElementFunction<Message>;
+    bdo: ElementFunction<Message>;
+    blockquote: ElementFunction<Message>;
+    body: ElementFunction<Message>;
+    br: VoidElementFunction<Message>;
+    button: ElementFunction<Message>;
+    canvas: ElementFunction<Message>;
+    caption: ElementFunction<Message>;
+    cite: ElementFunction<Message>;
+    code: ElementFunction<Message>;
+    col: VoidElementFunction<Message>;
+    colgroup: ElementFunction<Message>;
+    data: ElementFunction<Message>;
+    datalist: ElementFunction<Message>;
+    dd: ElementFunction<Message>;
+    del: ElementFunction<Message>;
+    details: ElementFunction<Message>;
+    dfn: ElementFunction<Message>;
+    dialog: ElementFunction<Message>;
+    div: ElementFunction<Message>;
+    dl: ElementFunction<Message>;
+    dt: ElementFunction<Message>;
+    em: ElementFunction<Message>;
+    embed: VoidElementFunction<Message>;
+    fieldset: ElementFunction<Message>;
+    figcaption: ElementFunction<Message>;
+    figure: ElementFunction<Message>;
+    footer: ElementFunction<Message>;
+    form: ElementFunction<Message>;
+    h1: ElementFunction<Message>;
+    h2: ElementFunction<Message>;
+    h3: ElementFunction<Message>;
+    h4: ElementFunction<Message>;
+    h5: ElementFunction<Message>;
+    h6: ElementFunction<Message>;
+    head: ElementFunction<Message>;
+    header: ElementFunction<Message>;
+    hgroup: ElementFunction<Message>;
+    hr: VoidElementFunction<Message>;
+    html: ElementFunction<Message>;
+    i: ElementFunction<Message>;
+    iframe: ElementFunction<Message>;
+    img: VoidElementFunction<Message>;
+    input: VoidElementFunction<Message>;
+    ins: ElementFunction<Message>;
+    kbd: ElementFunction<Message>;
+    label: ElementFunction<Message>;
+    legend: ElementFunction<Message>;
+    li: ElementFunction<Message>;
+    link: VoidElementFunction<Message>;
+    main: ElementFunction<Message>;
+    map: ElementFunction<Message>;
+    mark: ElementFunction<Message>;
+    menu: ElementFunction<Message>;
+    meta: VoidElementFunction<Message>;
+    meter: ElementFunction<Message>;
+    nav: ElementFunction<Message>;
+    noscript: ElementFunction<Message>;
+    object: ElementFunction<Message>;
+    ol: ElementFunction<Message>;
+    optgroup: ElementFunction<Message>;
+    option: ElementFunction<Message>;
+    output: ElementFunction<Message>;
+    p: ElementFunction<Message>;
+    picture: ElementFunction<Message>;
+    portal: ElementFunction<Message>;
+    pre: ElementFunction<Message>;
+    progress: ElementFunction<Message>;
+    q: ElementFunction<Message>;
+    rp: ElementFunction<Message>;
+    rt: ElementFunction<Message>;
+    ruby: ElementFunction<Message>;
+    s: ElementFunction<Message>;
+    samp: ElementFunction<Message>;
+    script: ElementFunction<Message>;
+    search: ElementFunction<Message>;
+    section: ElementFunction<Message>;
+    select: ElementFunction<Message>;
+    slot: ElementFunction<Message>;
+    small: ElementFunction<Message>;
+    source: VoidElementFunction<Message>;
+    span: ElementFunction<Message>;
+    strong: ElementFunction<Message>;
+    style: ElementFunction<Message>;
+    sub: ElementFunction<Message>;
+    summary: ElementFunction<Message>;
+    sup: ElementFunction<Message>;
+    table: ElementFunction<Message>;
+    tbody: ElementFunction<Message>;
+    td: ElementFunction<Message>;
+    template: ElementFunction<Message>;
+    textarea: ElementFunction<Message>;
+    tfoot: ElementFunction<Message>;
+    th: ElementFunction<Message>;
+    thead: ElementFunction<Message>;
+    time: ElementFunction<Message>;
+    title: ElementFunction<Message>;
+    tr: ElementFunction<Message>;
+    track: VoidElementFunction<Message>;
+    u: ElementFunction<Message>;
+    ul: ElementFunction<Message>;
+    var: ElementFunction<Message>;
+    video: ElementFunction<Message>;
+    wbr: VoidElementFunction<Message>;
+    svg: ElementFunction<Message>;
+    animate: ElementFunction<Message>;
+    animateMotion: ElementFunction<Message>;
+    animateTransform: ElementFunction<Message>;
+    circle: ElementFunction<Message>;
+    clipPath: ElementFunction<Message>;
+    defs: ElementFunction<Message>;
+    desc: ElementFunction<Message>;
+    ellipse: ElementFunction<Message>;
+    feBlend: ElementFunction<Message>;
+    feColorMatrix: ElementFunction<Message>;
+    feComponentTransfer: ElementFunction<Message>;
+    feComposite: ElementFunction<Message>;
+    feConvolveMatrix: ElementFunction<Message>;
+    feDiffuseLighting: ElementFunction<Message>;
+    feDisplacementMap: ElementFunction<Message>;
+    feDistantLight: ElementFunction<Message>;
+    feDropShadow: ElementFunction<Message>;
+    feFlood: ElementFunction<Message>;
+    feFuncA: ElementFunction<Message>;
+    feFuncB: ElementFunction<Message>;
+    feFuncG: ElementFunction<Message>;
+    feFuncR: ElementFunction<Message>;
+    feGaussianBlur: ElementFunction<Message>;
+    feImage: ElementFunction<Message>;
+    feMerge: ElementFunction<Message>;
+    feMergeNode: ElementFunction<Message>;
+    feMorphology: ElementFunction<Message>;
+    feOffset: ElementFunction<Message>;
+    fePointLight: ElementFunction<Message>;
+    feSpecularLighting: ElementFunction<Message>;
+    feSpotLight: ElementFunction<Message>;
+    feTile: ElementFunction<Message>;
+    feTurbulence: ElementFunction<Message>;
+    filter: ElementFunction<Message>;
+    foreignObject: ElementFunction<Message>;
+    g: ElementFunction<Message>;
+    image: ElementFunction<Message>;
+    line: ElementFunction<Message>;
+    linearGradient: ElementFunction<Message>;
+    marker: ElementFunction<Message>;
+    mask: ElementFunction<Message>;
+    metadata: ElementFunction<Message>;
+    mpath: ElementFunction<Message>;
+    path: ElementFunction<Message>;
+    pattern: ElementFunction<Message>;
+    polygon: ElementFunction<Message>;
+    polyline: ElementFunction<Message>;
+    radialGradient: ElementFunction<Message>;
+    rect: ElementFunction<Message>;
+    set: ElementFunction<Message>;
+    stop: ElementFunction<Message>;
+    switch: ElementFunction<Message>;
+    symbol: ElementFunction<Message>;
+    text: ElementFunction<Message>;
+    textPath: ElementFunction<Message>;
+    tspan: ElementFunction<Message>;
+    use: ElementFunction<Message>;
+    view: ElementFunction<Message>;
+    math: ElementFunction<Message>;
+    annotation: ElementFunction<Message>;
+    'annotation-xml': ElementFunction<Message>;
+    maction: ElementFunction<Message>;
+    menclose: ElementFunction<Message>;
+    merror: ElementFunction<Message>;
+    mfenced: ElementFunction<Message>;
+    mfrac: ElementFunction<Message>;
+    mglyph: ElementFunction<Message>;
+    mi: ElementFunction<Message>;
+    mlabeledtr: ElementFunction<Message>;
+    mlongdiv: ElementFunction<Message>;
+    mmultiscripts: ElementFunction<Message>;
+    mn: ElementFunction<Message>;
+    mo: ElementFunction<Message>;
+    mover: ElementFunction<Message>;
+    mpadded: ElementFunction<Message>;
+    mphantom: ElementFunction<Message>;
+    mprescripts: ElementFunction<Message>;
+    mroot: ElementFunction<Message>;
+    mrow: ElementFunction<Message>;
+    ms: ElementFunction<Message>;
+    mscarries: ElementFunction<Message>;
+    mscarry: ElementFunction<Message>;
+    msgroup: ElementFunction<Message>;
+    msline: ElementFunction<Message>;
+    mspace: ElementFunction<Message>;
+    msqrt: ElementFunction<Message>;
+    msrow: ElementFunction<Message>;
+    mstack: ElementFunction<Message>;
+    mstyle: ElementFunction<Message>;
+    msub: ElementFunction<Message>;
+    msubsup: ElementFunction<Message>;
+    msup: ElementFunction<Message>;
+    mtable: ElementFunction<Message>;
+    mtd: ElementFunction<Message>;
+    mtext: ElementFunction<Message>;
+    mtr: ElementFunction<Message>;
+    munder: ElementFunction<Message>;
+    munderover: ElementFunction<Message>;
+    semantics: ElementFunction<Message>;
+};
+type HtmlAttributes<Message> = {
     Key: (value: string) => {
-        readonly _tag: "Key";
+        readonly _tag: 'Key';
         readonly value: string;
     };
     Class: (value: string) => {
-        readonly _tag: "Class";
+        readonly _tag: 'Class';
         readonly value: string;
     };
     Id: (value: string) => {
-        readonly _tag: "Id";
+        readonly _tag: 'Id';
         readonly value: string;
     };
     Title: (value: string) => {
-        readonly _tag: "Title";
+        readonly _tag: 'Title';
         readonly value: string;
     };
     Lang: (value: string) => {
-        readonly _tag: "Lang";
+        readonly _tag: 'Lang';
         readonly value: string;
     };
     Dir: (value: string) => {
-        readonly _tag: "Dir";
+        readonly _tag: 'Dir';
         readonly value: string;
     };
     Tabindex: (value: number) => {
-        readonly _tag: "Tabindex";
+        readonly _tag: 'Tabindex';
         readonly value: number;
     };
     Hidden: (value: boolean) => {
-        readonly _tag: "Hidden";
+        readonly _tag: 'Hidden';
         readonly value: boolean;
     };
     Contenteditable: (value: string) => {
-        readonly _tag: "Contenteditable";
+        readonly _tag: 'Contenteditable';
         readonly value: string;
     };
     Draggable: (value: boolean) => {
-        readonly _tag: "Draggable";
+        readonly _tag: 'Draggable';
         readonly value: boolean;
     };
     Accesskey: (value: string) => {
-        readonly _tag: "Accesskey";
+        readonly _tag: 'Accesskey';
         readonly value: string;
     };
     Translate: (value: string) => {
-        readonly _tag: "Translate";
+        readonly _tag: 'Translate';
         readonly value: string;
     };
     Inert: (value: boolean) => {
-        readonly _tag: "Inert";
+        readonly _tag: 'Inert';
         readonly value: boolean;
     };
     Popover: (value: string) => {
-        readonly _tag: "Popover";
+        readonly _tag: 'Popover';
         readonly value: string;
     };
     Popovertarget: (value: string) => {
-        readonly _tag: "Popovertarget";
+        readonly _tag: 'Popovertarget';
         readonly value: string;
     };
     Popovertargetaction: (value: string) => {
-        readonly _tag: "Popovertargetaction";
+        readonly _tag: 'Popovertargetaction';
         readonly value: string;
     };
     OnClick: (message: Message) => {
-        readonly _tag: "OnClick";
+        readonly _tag: 'OnClick';
         readonly message: Message;
     };
     OnClickFocus: (focusSelector: string, message: Message) => {
-        readonly _tag: "OnClickFocus";
+        readonly _tag: 'OnClickFocus';
         readonly focusSelector: string;
         readonly message: Message;
     };
     OnDoubleClick: (message: Message) => {
-        readonly _tag: "OnDoubleClick";
+        readonly _tag: 'OnDoubleClick';
         readonly message: Message;
     };
     OnMouseDown: (message: Message) => {
-        readonly _tag: "OnMouseDown";
+        readonly _tag: 'OnMouseDown';
         readonly message: Message;
     };
     OnMouseUp: (message: Message) => {
-        readonly _tag: "OnMouseUp";
+        readonly _tag: 'OnMouseUp';
         readonly message: Message;
     };
     OnMouseEnter: (message: Message) => {
-        readonly _tag: "OnMouseEnter";
+        readonly _tag: 'OnMouseEnter';
         readonly message: Message;
     };
     OnMouseLeave: (message: Message) => {
-        readonly _tag: "OnMouseLeave";
+        readonly _tag: 'OnMouseLeave';
         readonly message: Message;
     };
     OnMouseOver: (message: Message) => {
-        readonly _tag: "OnMouseOver";
+        readonly _tag: 'OnMouseOver';
         readonly message: Message;
     };
     OnMouseOut: (message: Message) => {
-        readonly _tag: "OnMouseOut";
+        readonly _tag: 'OnMouseOut';
         readonly message: Message;
     };
     OnMouseMove: (message: Message) => {
-        readonly _tag: "OnMouseMove";
+        readonly _tag: 'OnMouseMove';
         readonly message: Message;
     };
     OnPointerMove: (toMaybeMessage: (screenX: number, screenY: number, pointerType: string) => Option.Option<Message>) => {
-        readonly _tag: "OnPointerMove";
+        readonly _tag: 'OnPointerMove';
         readonly f: (screenX: number, screenY: number, pointerType: string) => Option.Option<Message>;
     };
     OnPointerLeave: (toMaybeMessage: (pointerType: string) => Option.Option<Message>) => {
-        readonly _tag: "OnPointerLeave";
+        readonly _tag: 'OnPointerLeave';
         readonly f: (pointerType: string) => Option.Option<Message>;
     };
     OnPointerDown: (toMaybeMessage: (pointerType: string, button: number, screenX: number, screenY: number, timeStamp: number, clientX: number, clientY: number) => Option.Option<Message>) => {
-        readonly _tag: "OnPointerDown";
+        readonly _tag: 'OnPointerDown';
         readonly f: (pointerType: string, button: number, screenX: number, screenY: number, timeStamp: number, clientX: number, clientY: number) => Option.Option<Message>;
     };
     OnPointerUp: (toMaybeMessage: (screenX: number, screenY: number, pointerType: string, timeStamp: number) => Option.Option<Message>) => {
-        readonly _tag: "OnPointerUp";
+        readonly _tag: 'OnPointerUp';
         readonly f: (screenX: number, screenY: number, pointerType: string, timeStamp: number) => Option.Option<Message>;
     };
-    OnKeyDown: (toMessage: (key: string, modifiers: Readonly<{
-        shiftKey: boolean;
-        ctrlKey: boolean;
-        altKey: boolean;
-        metaKey: boolean;
-    }>) => Message) => {
-        readonly _tag: "OnKeyDown";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Message;
-    };
-    OnKeyDownFocus: (toMaybeFocusAndMessage: (key: string, modifiers: Readonly<{
-        shiftKey: boolean;
-        ctrlKey: boolean;
-        altKey: boolean;
-        metaKey: boolean;
-    }>) => Option.Option<Readonly<{
+    OnKeyDown: (toMessage: (key: string, modifiers: KeyboardModifiers) => Message) => {
+        readonly _tag: 'OnKeyDown';
+        readonly f: (key: string, modifiers: KeyboardModifiers) => Message;
+    };
+    OnKeyDownFocus: (toMaybeFocusAndMessage: (key: string, modifiers: KeyboardModifiers) => Option.Option<Readonly<{
         focusSelector: string;
         message: Message;
     }>>) => {
-        readonly _tag: "OnKeyDownFocus";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Option.Option<Readonly<{
+        readonly _tag: 'OnKeyDownFocus';
+        readonly f: (key: string, modifiers: KeyboardModifiers) => Option.Option<Readonly<{
             focusSelector: string;
             message: Message;
         }>>;
     };
-    OnKeyDownPreventDefault: (toMaybeMessage: (key: string, modifiers: Readonly<{
-        shiftKey: boolean;
-        ctrlKey: boolean;
-        altKey: boolean;
-        metaKey: boolean;
-    }>) => Option.Option<Message>) => {
-        readonly _tag: "OnKeyDownPreventDefault";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Option.Option<Message>;
-    };
-    OnKeyUp: (toMessage: (key: string, modifiers: Readonly<{
-        shiftKey: boolean;
-        ctrlKey: boolean;
-        altKey: boolean;
-        metaKey: boolean;
-    }>) => Message) => {
-        readonly _tag: "OnKeyUp";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Message;
-    };
-    OnKeyUpPreventDefault: (toMaybeMessage: (key: string, modifiers: Readonly<{
-        shiftKey: boolean;
-        ctrlKey: boolean;
-        altKey: boolean;
-        metaKey: boolean;
-    }>) => Option.Option<Message>) => {
-        readonly _tag: "OnKeyUpPreventDefault";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Option.Option<Message>;
-    };
-    OnKeyPress: (toMessage: (key: string, modifiers: Readonly<{
-        shiftKey: boolean;
-        ctrlKey: boolean;
-        altKey: boolean;
-        metaKey: boolean;
-    }>) => Message) => {
-        readonly _tag: "OnKeyPress";
-        readonly f: (key: string, modifiers: Readonly<{
-            shiftKey: boolean;
-            ctrlKey: boolean;
-            altKey: boolean;
-            metaKey: boolean;
-        }>) => Message;
+    OnKeyDownPreventDefault: (toMaybeMessage: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>) => {
+        readonly _tag: 'OnKeyDownPreventDefault';
+        readonly f: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>;
+    };
+    OnKeyUp: (toMessage: (key: string, modifiers: KeyboardModifiers) => Message) => {
+        readonly _tag: 'OnKeyUp';
+        readonly f: (key: string, modifiers: KeyboardModifiers) => Message;
+    };
+    OnKeyUpPreventDefault: (toMaybeMessage: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>) => {
+        readonly _tag: 'OnKeyUpPreventDefault';
+        readonly f: (key: string, modifiers: KeyboardModifiers) => Option.Option<Message>;
+    };
+    OnKeyPress: (toMessage: (key: string, modifiers: KeyboardModifiers) => Message) => {
+        readonly _tag: 'OnKeyPress';
+        readonly f: (key: string, modifiers: KeyboardModifiers) => Message;
     };
     OnFocus: (message: Message) => {
-        readonly _tag: "OnFocus";
+        readonly _tag: 'OnFocus';
         readonly message: Message;
     };
     OnBlur: (message: Message) => {
-        readonly _tag: "OnBlur";
+        readonly _tag: 'OnBlur';
         readonly message: Message;
     };
     OnInput: (toMessage: (value: string) => Message) => {
-        readonly _tag: "OnInput";
+        readonly _tag: 'OnInput';
         readonly f: (value: string) => Message;
     };
     OnChange: (toMessage: (value: string) => Message) => {
-        readonly _tag: "OnChange";
+        readonly _tag: 'OnChange';
         readonly f: (value: string) => Message;
     };
     OnFileChange: (toMessage: (files: ReadonlyArray<File>) => Message) => {
-        readonly _tag: "OnFileChange";
+        readonly _tag: 'OnFileChange';
         readonly f: (files: ReadonlyArray<File>) => Message;
     };
     OnSubmit: (message: Message) => {
-        readonly _tag: "OnSubmit";
+        readonly _tag: 'OnSubmit';
         readonly message: Message;
     };
     OnReset: (message: Message) => {
-        readonly _tag: "OnReset";
+        readonly _tag: 'OnReset';
         readonly message: Message;
     };
     OnScroll: (toMessage: (scrollTop: number) => Message) => {
-        readonly _tag: "OnScroll";
+        readonly _tag: 'OnScroll';
         readonly f: (scrollTop: number) => Message;
     };
     OnWheel: (message: Message) => {
-        readonly _tag: "OnWheel";
+        readonly _tag: 'OnWheel';
         readonly message: Message;
     };
     OnCopy: (message: Message) => {
-        readonly _tag: "OnCopy";
+        readonly _tag: 'OnCopy';
         readonly message: Message;
     };
     OnCut: (message: Message) => {
-        readonly _tag: "OnCut";
+        readonly _tag: 'OnCut';
         readonly message: Message;
     };
     OnPaste: (message: Message) => {
-        readonly _tag: "OnPaste";
+        readonly _tag: 'OnPaste';
         readonly message: Message;
     };
     OnPastePreventDefault: (toMaybeMessage: (text: string) => Option.Option<Message>) => {
-        readonly _tag: "OnPastePreventDefault";
+        readonly _tag: 'OnPastePreventDefault';
         readonly f: (text: string) => Option.Option<Message>;
     };
     OnCopyText: (text: string) => {
-        readonly _tag: "OnCopyText";
+        readonly _tag: 'OnCopyText';
         readonly text: string;
     };
     OnCutText: (text: string, message: Message) => {
-        readonly _tag: "OnCutText";
+        readonly _tag: 'OnCutText';
         readonly text: string;
         readonly message: Message;
     };
     OnCancel: (message: Message) => {
-        readonly _tag: "OnCancel";
+        readonly _tag: 'OnCancel';
         readonly message: Message;
     };
     OnToggle: (toMessage: (isOpen: boolean) => Message) => {
-        readonly _tag: "OnToggle";
+        readonly _tag: 'OnToggle';
         readonly f: (isOpen: boolean) => Message;
     };
     OnContextMenu: (message: Message) => {
-        readonly _tag: "OnContextMenu";
+        readonly _tag: 'OnContextMenu';
         readonly message: Message;
     };
     OnDragStart: (message: Message) => {
-        readonly _tag: "OnDragStart";
+        readonly _tag: 'OnDragStart';
         readonly message: Message;
     };
     OnDrag: (message: Message) => {
-        readonly _tag: "OnDrag";
+        readonly _tag: 'OnDrag';
         readonly message: Message;
     };
     OnDragEnd: (message: Message) => {
-        readonly _tag: "OnDragEnd";
+        readonly _tag: 'OnDragEnd';
         readonly message: Message;
     };
     OnDragEnter: (message: Message) => {
-        readonly _tag: "OnDragEnter";
+        readonly _tag: 'OnDragEnter';
         readonly message: Message;
     };
     OnDragLeave: (message: Message) => {
-        readonly _tag: "OnDragLeave";
+        readonly _tag: 'OnDragLeave';
         readonly message: Message;
     };
     OnDragOver: (message: Message) => {
-        readonly _tag: "OnDragOver";
+        readonly _tag: 'OnDragOver';
         readonly message: Message;
     };
     AllowDrop: () => {
-        readonly _tag: "AllowDrop";
+        readonly _tag: 'AllowDrop';
     };
     OnDrop: (message: Message) => {
-        readonly _tag: "OnDrop";
+        readonly _tag: 'OnDrop';
         readonly message: Message;
     };
     OnDropFiles: (toMessage: (files: ReadonlyArray<File>) => Message) => {
-        readonly _tag: "OnDropFiles";
+        readonly _tag: 'OnDropFiles';
         readonly f: (files: ReadonlyArray<File>) => Message;
     };
     OnTouchStart: (message: Message) => {
-        readonly _tag: "OnTouchStart";
+        readonly _tag: 'OnTouchStart';
         readonly message: Message;
     };
     OnTouchEnd: (message: Message) => {
-        readonly _tag: "OnTouchEnd";
+        readonly _tag: 'OnTouchEnd';
         readonly message: Message;
     };
     OnTouchMove: (message: Message) => {
-        readonly _tag: "OnTouchMove";
+        readonly _tag: 'OnTouchMove';
         readonly message: Message;
     };
     OnTouchCancel: (message: Message) => {
-        readonly _tag: "OnTouchCancel";
+        readonly _tag: 'OnTouchCancel';
         readonly message: Message;
     };
     OnAnimationStart: (message: Message) => {
-        readonly _tag: "OnAnimationStart";
+        readonly _tag: 'OnAnimationStart';
         readonly message: Message;
     };
     OnAnimationEnd: (message: Message) => {
-        readonly _tag: "OnAnimationEnd";
+        readonly _tag: 'OnAnimationEnd';
         readonly message: Message;
     };
     OnAnimationIteration: (message: Message) => {
-        readonly _tag: "OnAnimationIteration";
+        readonly _tag: 'OnAnimationIteration';
         readonly message: Message;
     };
     OnTransitionEnd: (message: Message) => {
-        readonly _tag: "OnTransitionEnd";
+        readonly _tag: 'OnTransitionEnd';
         readonly message: Message;
     };
     OnLoad: (message: Message) => {
-        readonly _tag: "OnLoad";
+        readonly _tag: 'OnLoad';
         readonly message: Message;
     };
     OnError: (message: Message) => {
-        readonly _tag: "OnError";
+        readonly _tag: 'OnError';
         readonly message: Message;
     };
     OnPlay: (message: Message) => {
-        readonly _tag: "OnPlay";
+        readonly _tag: 'OnPlay';
         readonly message: Message;
     };
     OnPause: (message: Message) => {
-        readonly _tag: "OnPause";
+        readonly _tag: 'OnPause';
         readonly message: Message;
     };
     OnEnded: (message: Message) => {
-        readonly _tag: "OnEnded";
+        readonly _tag: 'OnEnded';
         readonly message: Message;
     };
     OnTimeUpdate: (message: Message) => {
-        readonly _tag: "OnTimeUpdate";
+        readonly _tag: 'OnTimeUpdate';
         readonly message: Message;
     };
     OnVolumeChange: (message: Message) => {
-        readonly _tag: "OnVolumeChange";
+        readonly _tag: 'OnVolumeChange';
         readonly message: Message;
     };
     OnSelect: (message: Message) => {
-        readonly _tag: "OnSelect";
+        readonly _tag: 'OnSelect';
         readonly message: Message;
     };
     Value: (value: string) => {
-        readonly _tag: "Value";
+        readonly _tag: 'Value';
         readonly value: string;
     };
     Checked: (value: boolean) => {
-        readonly _tag: "Checked";
+        readonly _tag: 'Checked';
         readonly value: boolean;
     };
     Selected: (value: boolean) => {
-        readonly _tag: "Selected";
+        readonly _tag: 'Selected';
         readonly value: boolean;
     };
     Open: (value: boolean) => {
-        readonly _tag: "Open";
+        readonly _tag: 'Open';
         readonly value: boolean;
     };
     Placeholder: (value: string) => {
-        readonly _tag: "Placeholder";
+        readonly _tag: 'Placeholder';
         readonly value: string;
     };
     Name: (value: string) => {
-        readonly _tag: "Name";
+        readonly _tag: 'Name';
         readonly value: string;
     };
     Disabled: (value: boolean) => {
-        readonly _tag: "Disabled";
+        readonly _tag: 'Disabled';
         readonly value: boolean;
     };
     Readonly: (value: boolean) => {
-        readonly _tag: "Readonly";
+        readonly _tag: 'Readonly';
         readonly value: boolean;
     };
     Required: (value: boolean) => {
-        readonly _tag: "Required";
+        readonly _tag: 'Required';
         readonly value: boolean;
     };
     Autofocus: (value: boolean) => {
-        readonly _tag: "Autofocus";
+        readonly _tag: 'Autofocus';
         readonly value: boolean;
     };
     Spellcheck: (value: boolean) => {
-        readonly _tag: "Spellcheck";
+        readonly _tag: 'Spellcheck';
         readonly value: boolean;
     };
     Autocorrect: (value: string) => {
-        readonly _tag: "Autocorrect";
+        readonly _tag: 'Autocorrect';
         readonly value: string;
     };
     Autocapitalize: (value: string) => {
-        readonly _tag: "Autocapitalize";
+        readonly _tag: 'Autocapitalize';
         readonly value: string;
     };
     InputMode: (value: string) => {
-        readonly _tag: "InputMode";
+        readonly _tag: 'InputMode';
         readonly value: string;
     };
     EnterKeyHint: (value: string) => {
-        readonly _tag: "EnterKeyHint";
+        readonly _tag: 'EnterKeyHint';
         readonly value: string;
     };
     Multiple: (value: boolean) => {
-        readonly _tag: "Multiple";
+        readonly _tag: 'Multiple';
         readonly value: boolean;
     };
     Type: (value: string) => {
-        readonly _tag: "Type";
+        readonly _tag: 'Type';
         readonly value: string;
     };
     Accept: (value: string) => {
-        readonly _tag: "Accept";
+        readonly _tag: 'Accept';
         readonly value: string;
     };
     Autocomplete: (value: string) => {
-        readonly _tag: "Autocomplete";
+        readonly _tag: 'Autocomplete';
         readonly value: string;
     };
     Pattern: (value: string) => {
-        readonly _tag: "Pattern";
+        readonly _tag: 'Pattern';
         readonly value: string;
     };
     Maxlength: (value: number) => {
-        readonly _tag: "Maxlength";
+        readonly _tag: 'Maxlength';
         readonly value: number;
     };
     Minlength: (value: number) => {
-        readonly _tag: "Minlength";
+        readonly _tag: 'Minlength';
         readonly value: number;
     };
     Size: (value: number) => {
-        readonly _tag: "Size";
+        readonly _tag: 'Size';
         readonly value: number;
     };
     Cols: (value: number) => {
-        readonly _tag: "Cols";
+        readonly _tag: 'Cols';
         readonly value: number;
     };
     Rows: (value: number) => {
-        readonly _tag: "Rows";
+        readonly _tag: 'Rows';
         readonly value: number;
     };
     Max: (value: string) => {
-        readonly _tag: "Max";
+        readonly _tag: 'Max';
         readonly value: string;
     };
     Min: (value: string) => {
-        readonly _tag: "Min";
+        readonly _tag: 'Min';
         readonly value: string;
     };
     Step: (value: string) => {
-        readonly _tag: "Step";
+        readonly _tag: 'Step';
         readonly value: string;
     };
     For: (value: string) => {
-        readonly _tag: "For";
+        readonly _tag: 'For';
         readonly value: string;
     };
     Href: (value: string) => {
-        readonly _tag: "Href";
+        readonly _tag: 'Href';
         readonly value: string;
     };
     Src: (value: string) => {
-        readonly _tag: "Src";
+        readonly _tag: 'Src';
         readonly value: string;
     };
     Alt: (value: string) => {
-        readonly _tag: "Alt";
+        readonly _tag: 'Alt';
         readonly value: string;
     };
     Target: (value: string) => {
-        readonly _tag: "Target";
+        readonly _tag: 'Target';
         readonly value: string;
     };
     Rel: (value: string) => {
-        readonly _tag: "Rel";
+        readonly _tag: 'Rel';
         readonly value: string;
     };
     Download: (value: string) => {
-        readonly _tag: "Download";
+        readonly _tag: 'Download';
         readonly value: string;
     };
     Action: (value: string) => {
-        readonly _tag: "Action";
+        readonly _tag: 'Action';
         readonly value: string;
     };
     Method: (value: string) => {
-        readonly _tag: "Method";
+        readonly _tag: 'Method';
         readonly value: string;
     };
     Enctype: (value: string) => {
-        readonly _tag: "Enctype";
+        readonly _tag: 'Enctype';
         readonly value: string;
     };
     Novalidate: (value: boolean) => {
-        readonly _tag: "Novalidate";
+        readonly _tag: 'Novalidate';
         readonly value: boolean;
     };
     Formaction: (value: string) => {
-        readonly _tag: "Formaction";
+        readonly _tag: 'Formaction';
         readonly value: string;
     };
     Formmethod: (value: string) => {
-        readonly _tag: "Formmethod";
+        readonly _tag: 'Formmethod';
         readonly value: string;
     };
     Formnovalidate: (value: boolean) => {
-        readonly _tag: "Formnovalidate";
+        readonly _tag: 'Formnovalidate';
         readonly value: boolean;
     };
     Formtarget: (value: string) => {
-        readonly _tag: "Formtarget";
+        readonly _tag: 'Formtarget';
         readonly value: string;
     };
     Formenctype: (value: string) => {
-        readonly _tag: "Formenctype";
+        readonly _tag: 'Formenctype';
         readonly value: string;
     };
     Colspan: (value: number) => {
-        readonly _tag: "Colspan";
+        readonly _tag: 'Colspan';
         readonly value: number;
     };
     Rowspan: (value: number) => {
-        readonly _tag: "Rowspan";
+        readonly _tag: 'Rowspan';
         readonly value: number;
     };
     Scope: (value: string) => {
-        readonly _tag: "Scope";
+        readonly _tag: 'Scope';
         readonly value: string;
     };
     Headers: (value: string) => {
-        readonly _tag: "Headers";
+        readonly _tag: 'Headers';
         readonly value: string;
     };
     Span: (value: number) => {
-        readonly _tag: "Span";
+        readonly _tag: 'Span';
         readonly value: number;
     };
     Start: (value: number) => {
-        readonly _tag: "Start";
+        readonly _tag: 'Start';
         readonly value: number;
     };
     Reversed: (value: boolean) => {
-        readonly _tag: "Reversed";
+        readonly _tag: 'Reversed';
         readonly value: boolean;
     };
     CiteAttr: (value: string) => {
-        readonly _tag: "CiteAttr";
+        readonly _tag: 'CiteAttr';
         readonly value: string;
     };
     Datetime: (value: string) => {
-        readonly _tag: "Datetime";
+        readonly _tag: 'Datetime';
         readonly value: string;
     };
     Wrap: (value: string) => {
-        readonly _tag: "Wrap";
+        readonly _tag: 'Wrap';
         readonly value: string;
     };
     List: (value: string) => {
-        readonly _tag: "List";
+        readonly _tag: 'List';
         readonly value: string;
     };
     FormAttr: (value: string) => {
-        readonly _tag: "FormAttr";
+        readonly _tag: 'FormAttr';
         readonly value: string;
     };
     LabelAttr: (value: string) => {
-        readonly _tag: "LabelAttr";
+        readonly _tag: 'LabelAttr';
         readonly value: string;
     };
     ContentAttr: (value: string) => {
-        readonly _tag: "ContentAttr";
+        readonly _tag: 'ContentAttr';
         readonly value: string;
     };
     Charset: (value: string) => {
-        readonly _tag: "Charset";
+        readonly _tag: 'Charset';
         readonly value: string;
     };
     HttpEquiv: (value: string) => {
-        readonly _tag: "HttpEquiv";
+        readonly _tag: 'HttpEquiv';
         readonly value: string;
     };
     Srcset: (value: string) => {
-        readonly _tag: "Srcset";
+        readonly _tag: 'Srcset';
         readonly value: string;
     };
     Sizes: (value: string) => {
-        readonly _tag: "Sizes";
+        readonly _tag: 'Sizes';
         readonly value: string;
     };
     Loading: (value: string) => {
-        readonly _tag: "Loading";
+        readonly _tag: 'Loading';
         readonly value: string;
     };
     Decoding: (value: string) => {
-        readonly _tag: "Decoding";
+        readonly _tag: 'Decoding';
         readonly value: string;
     };
     Fetchpriority: (value: string) => {
-        readonly _tag: "Fetchpriority";
+        readonly _tag: 'Fetchpriority';
         readonly value: string;
     };
     Crossorigin: (value: string) => {
-        readonly _tag: "Crossorigin";
+        readonly _tag: 'Crossorigin';
         readonly value: string;
     };
     Referrerpolicy: (value: string) => {
-        readonly _tag: "Referrerpolicy";
+        readonly _tag: 'Referrerpolicy';
         readonly value: string;
     };
     Integrity: (value: string) => {
-        readonly _tag: "Integrity";
+        readonly _tag: 'Integrity';
         readonly value: string;
     };
     Hreflang: (value: string) => {
-        readonly _tag: "Hreflang";
+        readonly _tag: 'Hreflang';
         readonly value: string;
     };
     Ping: (value: string) => {
-        readonly _tag: "Ping";
+        readonly _tag: 'Ping';
         readonly value: string;
     };
     Sandbox: (value: string) => {
-        readonly _tag: "Sandbox";
+        readonly _tag: 'Sandbox';
         readonly value: string;
     };
     Allow: (value: string) => {
-        readonly _tag: "Allow";
+        readonly _tag: 'Allow';
         readonly value: string;
     };
     Srcdoc: (value: string) => {
-        readonly _tag: "Srcdoc";
+        readonly _tag: 'Srcdoc';
         readonly value: string;
     };
     Autoplay: (value: boolean) => {
-        readonly _tag: "Autoplay";
+        readonly _tag: 'Autoplay';
         readonly value: boolean;
     };
     Controls: (value: boolean) => {
-        readonly _tag: "Controls";
+        readonly _tag: 'Controls';
         readonly value: boolean;
     };
     Loop: (value: boolean) => {
-        readonly _tag: "Loop";
+        readonly _tag: 'Loop';
         readonly value: boolean;
     };
     Muted: (value: boolean) => {
-        readonly _tag: "Muted";
+        readonly _tag: 'Muted';
         readonly value: boolean;
     };
     Poster: (value: string) => {
-        readonly _tag: "Poster";
+        readonly _tag: 'Poster';
         readonly value: string;
     };
     Preload: (value: string) => {
-        readonly _tag: "Preload";
+        readonly _tag: 'Preload';
         readonly value: string;
     };
     Playsinline: (value: boolean) => {
-        readonly _tag: "Playsinline";
+        readonly _tag: 'Playsinline';
         readonly value: boolean;
     };
     High: (value: number) => {
-        readonly _tag: "High";
+        readonly _tag: 'High';
         readonly value: number;
     };
     Low: (value: number) => {
-        readonly _tag: "Low";
+        readonly _tag: 'Low';
         readonly value: number;
     };
     Optimum: (value: number) => {
-        readonly _tag: "Optimum";
+        readonly _tag: 'Optimum';
         readonly value: number;
     };
     Usemap: (value: string) => {
-        readonly _tag: "Usemap";
+        readonly _tag: 'Usemap';
         readonly value: string;
     };
     Ismap: (value: boolean) => {
-        readonly _tag: "Ismap";
+        readonly _tag: 'Ismap';
         readonly value: boolean;
     };
     Role: (value: string) => {
-        readonly _tag: "Role";
+        readonly _tag: 'Role';
         readonly value: string;
     };
     AriaLabel: (value: string) => {
-        readonly _tag: "AriaLabel";
+        readonly _tag: 'AriaLabel';
         readonly value: string;
     };
     AriaLabelledBy: (value: string) => {
-        readonly _tag: "AriaLabelledBy";
+        readonly _tag: 'AriaLabelledBy';
         readonly value: string;
     };
     AriaDescribedBy: (value: string) => {
-        readonly _tag: "AriaDescribedBy";
+        readonly _tag: 'AriaDescribedBy';
         readonly value: string;
     };
     AriaHidden: (value: boolean) => {
-        readonly _tag: "AriaHidden";
+        readonly _tag: 'AriaHidden';
         readonly value: boolean;
     };
     AriaExpanded: (value: boolean) => {
-        readonly _tag: "AriaExpanded";
+        readonly _tag: 'AriaExpanded';
         readonly value: boolean;
     };
     AriaSelected: (value: boolean) => {
-        readonly _tag: "AriaSelected";
+        readonly _tag: 'AriaSelected';
         readonly value: boolean;
     };
-    AriaChecked: (value: boolean | "mixed") => {
-        readonly _tag: "AriaChecked";
-        readonly value: boolean | "mixed";
+    AriaChecked: (value: boolean | 'mixed') => {
+        readonly _tag: 'AriaChecked';
+        readonly value: boolean | 'mixed';
     };
     AriaDisabled: (value: boolean) => {
-        readonly _tag: "AriaDisabled";
+        readonly _tag: 'AriaDisabled';
         readonly value: boolean;
     };
     AriaRequired: (value: boolean) => {
-        readonly _tag: "AriaRequired";
+        readonly _tag: 'AriaRequired';
         readonly value: boolean;
     };
     AriaInvalid: (value: boolean) => {
-        readonly _tag: "AriaInvalid";
+        readonly _tag: 'AriaInvalid';
         readonly value: boolean;
     };
     AriaLive: (value: string) => {
-        readonly _tag: "AriaLive";
+        readonly _tag: 'AriaLive';
         readonly value: string;
     };
     AriaControls: (value: string) => {
-        readonly _tag: "AriaControls";
+        readonly _tag: 'AriaControls';
         readonly value: string;
     };
     AriaCurrent: (value: string) => {
-        readonly _tag: "AriaCurrent";
+        readonly _tag: 'AriaCurrent';
         readonly value: string;
     };
     AriaOrientation: (value: string) => {
-        readonly _tag: "AriaOrientation";
+        readonly _tag: 'AriaOrientation';
         readonly value: string;
     };
     AriaPressed: (value: string) => {
-        readonly _tag: "AriaPressed";
+        readonly _tag: 'AriaPressed';
         readonly value: string;
     };
     AriaHasPopup: (value: string) => {
-        readonly _tag: "AriaHasPopup";
+        readonly _tag: 'AriaHasPopup';
         readonly value: string;
     };
     AriaActiveDescendant: (value: string) => {
-        readonly _tag: "AriaActiveDescendant";
+        readonly _tag: 'AriaActiveDescendant';
         readonly value: string;
     };
     AriaSort: (value: string) => {
-        readonly _tag: "AriaSort";
+        readonly _tag: 'AriaSort';
         readonly value: string;
     };
     AriaMultiSelectable: (value: boolean) => {
-        readonly _tag: "AriaMultiSelectable";
+        readonly _tag: 'AriaMultiSelectable';
         readonly value: boolean;
     };
     AriaModal: (value: boolean) => {
-        readonly _tag: "AriaModal";
+        readonly _tag: 'AriaModal';
         readonly value: boolean;
     };
     AriaBusy: (value: boolean) => {
-        readonly _tag: "AriaBusy";
+        readonly _tag: 'AriaBusy';
         readonly value: boolean;
     };
     AriaErrorMessage: (value: string) => {
-        readonly _tag: "AriaErrorMessage";
+        readonly _tag: 'AriaErrorMessage';
         readonly value: string;
     };
     AriaRoleDescription: (value: string) => {
-        readonly _tag: "AriaRoleDescription";
+        readonly _tag: 'AriaRoleDescription';
         readonly value: string;
     };
     AriaAtomic: (value: boolean) => {
-        readonly _tag: "AriaAtomic";
+        readonly _tag: 'AriaAtomic';
         readonly value: boolean;
     };
     AriaAutocomplete: (value: string) => {
-        readonly _tag: "AriaAutocomplete";
+        readonly _tag: 'AriaAutocomplete';
         readonly value: string;
     };
     AriaColcount: (value: number) => {
-        readonly _tag: "AriaColcount";
+        readonly _tag: 'AriaColcount';
         readonly value: number;
     };
     AriaColindex: (value: number) => {
-        readonly _tag: "AriaColindex";
+        readonly _tag: 'AriaColindex';
         readonly value: number;
     };
     AriaColspan: (value: number) => {
-        readonly _tag: "AriaColspan";
+        readonly _tag: 'AriaColspan';
         readonly value: number;
     };
     AriaDescription: (value: string) => {
-        readonly _tag: "AriaDescription";
+        readonly _tag: 'AriaDescription';
         readonly value: string;
     };
     AriaDetails: (value: string) => {
-        readonly _tag: "AriaDetails";
+        readonly _tag: 'AriaDetails';
         readonly value: string;
     };
     AriaFlowto: (value: string) => {
-        readonly _tag: "AriaFlowto";
+        readonly _tag: 'AriaFlowto';
         readonly value: string;
     };
     AriaKeyshortcuts: (value: string) => {
-        readonly _tag: "AriaKeyshortcuts";
+        readonly _tag: 'AriaKeyshortcuts';
         readonly value: string;
     };
     AriaLevel: (value: number) => {
-        readonly _tag: "AriaLevel";
+        readonly _tag: 'AriaLevel';
         readonly value: number;
     };
     AriaOwns: (value: string) => {
-        readonly _tag: "AriaOwns";
+        readonly _tag: 'AriaOwns';
         readonly value: string;
     };
     AriaPlaceholder: (value: string) => {
-        readonly _tag: "AriaPlaceholder";
+        readonly _tag: 'AriaPlaceholder';
         readonly value: string;
     };
     AriaPosinset: (value: number) => {
-        readonly _tag: "AriaPosinset";
+        readonly _tag: 'AriaPosinset';
         readonly value: number;
     };
     AriaReadonly: (value: boolean) => {
-        readonly _tag: "AriaReadonly";
+        readonly _tag: 'AriaReadonly';
         readonly value: boolean;
     };
     AriaRelevant: (value: string) => {
-        readonly _tag: "AriaRelevant";
+        readonly _tag: 'AriaRelevant';
         readonly value: string;
     };
     AriaRowcount: (value: number) => {
-        readonly _tag: "AriaRowcount";
+        readonly _tag: 'AriaRowcount';
         readonly value: number;
     };
     AriaRowindex: (value: number) => {
-        readonly _tag: "AriaRowindex";
+        readonly _tag: 'AriaRowindex';
         readonly value: number;
     };
     AriaRowspan: (value: number) => {
-        readonly _tag: "AriaRowspan";
+        readonly _tag: 'AriaRowspan';
         readonly value: number;
     };
     AriaSetsize: (value: number) => {
-        readonly _tag: "AriaSetsize";
+        readonly _tag: 'AriaSetsize';
         readonly value: number;
     };
     AriaValuemax: (value: number) => {
-        readonly _tag: "AriaValuemax";
+        readonly _tag: 'AriaValuemax';
         readonly value: number;
     };
     AriaValuemin: (value: number) => {
-        readonly _tag: "AriaValuemin";
+        readonly _tag: 'AriaValuemin';
         readonly value: number;
     };
     AriaValuenow: (value: number) => {
-        readonly _tag: "AriaValuenow";
+        readonly _tag: 'AriaValuenow';
         readonly value: number;
     };
     AriaValuetext: (value: string) => {
-        readonly _tag: "AriaValuetext";
+        readonly _tag: 'AriaValuetext';
         readonly value: string;
     };
     Attribute: (key: string, value: string) => {
-        readonly _tag: "Attribute";
+        readonly _tag: 'Attribute';
         readonly key: string;
         readonly value: string;
     };
     DataAttribute: (key: string, value: string) => {
-        readonly _tag: "DataAttribute";
+        readonly _tag: 'DataAttribute';
         readonly key: string;
         readonly value: string;
     };
     Style: (value: Record<string, string>) => {
-        readonly _tag: "Style";
+        readonly _tag: 'Style';
         readonly value: Record<string, string>;
     };
     InnerHTML: (value: string) => {
-        readonly _tag: "InnerHTML";
+        readonly _tag: 'InnerHTML';
         readonly value: string;
     };
     ViewBox: (value: string) => {
-        readonly _tag: "ViewBox";
+        readonly _tag: 'ViewBox';
         readonly value: string;
     };
     Xmlns: (value: string) => {
-        readonly _tag: "Xmlns";
+        readonly _tag: 'Xmlns';
         readonly value: string;
     };
     Fill: (value: string) => {
-        readonly _tag: "Fill";
+        readonly _tag: 'Fill';
         readonly value: string;
     };
     FillRule: (value: string) => {
-        readonly _tag: "FillRule";
+        readonly _tag: 'FillRule';
         readonly value: string;
     };
     ClipRule: (value: string) => {
-        readonly _tag: "ClipRule";
+        readonly _tag: 'ClipRule';
         readonly value: string;
     };
     Stroke: (value: string) => {
-        readonly _tag: "Stroke";
+        readonly _tag: 'Stroke';
         readonly value: string;
     };
     StrokeWidth: (value: string) => {
-        readonly _tag: "StrokeWidth";
+        readonly _tag: 'StrokeWidth';
         readonly value: string;
     };
     StrokeLinecap: (value: string) => {
-        readonly _tag: "StrokeLinecap";
+        readonly _tag: 'StrokeLinecap';
         readonly value: string;
     };
     StrokeLinejoin: (value: string) => {
-        readonly _tag: "StrokeLinejoin";
+        readonly _tag: 'StrokeLinejoin';
         readonly value: string;
     };
     D: (value: string) => {
-        readonly _tag: "D";
+        readonly _tag: 'D';
         readonly value: string;
     };
     Cx: (value: string) => {
-        readonly _tag: "Cx";
+        readonly _tag: 'Cx';
         readonly value: string;
     };
     Cy: (value: string) => {
-        readonly _tag: "Cy";
+        readonly _tag: 'Cy';
         readonly value: string;
     };
     R: (value: string) => {
-        readonly _tag: "R";
+        readonly _tag: 'R';
         readonly value: string;
     };
     X: (value: string) => {
-        readonly _tag: "X";
+        readonly _tag: 'X';
         readonly value: string;
     };
     Y: (value: string) => {
-        readonly _tag: "Y";
+        readonly _tag: 'Y';
         readonly value: string;
     };
     Width: (value: string) => {
-        readonly _tag: "Width";
+        readonly _tag: 'Width';
         readonly value: string;
     };
     Height: (value: string) => {
-        readonly _tag: "Height";
+        readonly _tag: 'Height';
         readonly value: string;
     };
     X1: (value: string) => {
-        readonly _tag: "X1";
+        readonly _tag: 'X1';
         readonly value: string;
     };
     Y1: (value: string) => {
-        readonly _tag: "Y1";
+        readonly _tag: 'Y1';
         readonly value: string;
     };
     X2: (value: string) => {
-        readonly _tag: "X2";
+        readonly _tag: 'X2';
         readonly value: string;
     };
     Y2: (value: string) => {
-        readonly _tag: "Y2";
+        readonly _tag: 'Y2';
         readonly value: string;
     };
     Points: (value: string) => {
-        readonly _tag: "Points";
+        readonly _tag: 'Points';
         readonly value: string;
     };
     Transform: (value: string) => {
-        readonly _tag: "Transform";
+        readonly _tag: 'Transform';
         readonly value: string;
     };
     Opacity: (value: string) => {
-        readonly _tag: "Opacity";
+        readonly _tag: 'Opacity';
         readonly value: string;
     };
     StrokeDasharray: (value: string) => {
-        readonly _tag: "StrokeDasharray";
+        readonly _tag: 'StrokeDasharray';
         readonly value: string;
     };
     StrokeDashoffset: (value: string) => {
-        readonly _tag: "StrokeDashoffset";
+        readonly _tag: 'StrokeDashoffset';
         readonly value: string;
     };
     Dx: (value: string) => {
-        readonly _tag: "Dx";
+        readonly _tag: 'Dx';
         readonly value: string;
     };
     Dy: (value: string) => {
-        readonly _tag: "Dy";
+        readonly _tag: 'Dy';
         readonly value: string;
     };
     Rotate: (value: string) => {
-        readonly _tag: "Rotate";
+        readonly _tag: 'Rotate';
         readonly value: string;
     };
     TextAnchor: (value: string) => {
-        readonly _tag: "TextAnchor";
+        readonly _tag: 'TextAnchor';
         readonly value: string;
     };
     DominantBaseline: (value: string) => {
-        readonly _tag: "DominantBaseline";
+        readonly _tag: 'DominantBaseline';
         readonly value: string;
     };
     AlignmentBaseline: (value: string) => {
-        readonly _tag: "AlignmentBaseline";
+        readonly _tag: 'AlignmentBaseline';
         readonly value: string;
     };
     BaselineShift: (value: string) => {
-        readonly _tag: "BaselineShift";
+        readonly _tag: 'BaselineShift';
         readonly value: string;
     };
     TextLength: (value: string) => {
-        readonly _tag: "TextLength";
+        readonly _tag: 'TextLength';
         readonly value: string;
     };
     LengthAdjust: (value: string) => {
-        readonly _tag: "LengthAdjust";
+        readonly _tag: 'LengthAdjust';
         readonly value: string;
     };
     FontFamily: (value: string) => {
-        readonly _tag: "FontFamily";
+        readonly _tag: 'FontFamily';
         readonly value: string;
     };
     FontSize: (value: string) => {
-        readonly _tag: "FontSize";
+        readonly _tag: 'FontSize';
         readonly value: string;
     };
     FontWeight: (value: string) => {
-        readonly _tag: "FontWeight";
+        readonly _tag: 'FontWeight';
         readonly value: string;
     };
     FontStyle: (value: string) => {
-        readonly _tag: "FontStyle";
+        readonly _tag: 'FontStyle';
         readonly value: string;
     };
     LetterSpacing: (value: string) => {
-        readonly _tag: "LetterSpacing";
+        readonly _tag: 'LetterSpacing';
         readonly value: string;
     };
     WordSpacing: (value: string) => {
-        readonly _tag: "WordSpacing";
+        readonly _tag: 'WordSpacing';
         readonly value: string;
     };
     TextDecoration: (value: string) => {
-        readonly _tag: "TextDecoration";
+        readonly _tag: 'TextDecoration';
         readonly value: string;
     };
     WritingMode: (value: string) => {
-        readonly _tag: "WritingMode";
+        readonly _tag: 'WritingMode';
         readonly value: string;
     };
     Rx: (value: string) => {
-        readonly _tag: "Rx";
+        readonly _tag: 'Rx';
         readonly value: string;
     };
     Ry: (value: string) => {
-        readonly _tag: "Ry";
+        readonly _tag: 'Ry';
         readonly value: string;
     };
     PathLength: (value: string) => {
-        readonly _tag: "PathLength";
+        readonly _tag: 'PathLength';
         readonly value: string;
     };
     FillOpacity: (value: string) => {
-        readonly _tag: "FillOpacity";
+        readonly _tag: 'FillOpacity';
         readonly value: string;
     };
     StrokeOpacity: (value: string) => {
-        readonly _tag: "StrokeOpacity";
+        readonly _tag: 'StrokeOpacity';
         readonly value: string;
     };
     StrokeMiterlimit: (value: string) => {
-        readonly _tag: "StrokeMiterlimit";
+        readonly _tag: 'StrokeMiterlimit';
         readonly value: string;
     };
     PaintOrder: (value: string) => {
-        readonly _tag: "PaintOrder";
+        readonly _tag: 'PaintOrder';
         readonly value: string;
     };
     VectorEffect: (value: string) => {
-        readonly _tag: "VectorEffect";
+        readonly _tag: 'VectorEffect';
         readonly value: string;
     };
     Color: (value: string) => {
-        readonly _tag: "Color";
+        readonly _tag: 'Color';
         readonly value: string;
     };
     Visibility: (value: string) => {
-        readonly _tag: "Visibility";
+        readonly _tag: 'Visibility';
         readonly value: string;
     };
     Display: (value: string) => {
-        readonly _tag: "Display";
+        readonly _tag: 'Display';
         readonly value: string;
     };
     Overflow: (value: string) => {
-        readonly _tag: "Overflow";
+        readonly _tag: 'Overflow';
         readonly value: string;
     };
     PointerEvents: (value: string) => {
-        readonly _tag: "PointerEvents";
+        readonly _tag: 'PointerEvents';
         readonly value: string;
     };
     Cursor: (value: string) => {
-        readonly _tag: "Cursor";
+        readonly _tag: 'Cursor';
         readonly value: string;
     };
     ShapeRendering: (value: string) => {
-        readonly _tag: "ShapeRendering";
+        readonly _tag: 'ShapeRendering';
         readonly value: string;
     };
     TextRendering: (value: string) => {
-        readonly _tag: "TextRendering";
+        readonly _tag: 'TextRendering';
         readonly value: string;
     };
     ImageRendering: (value: string) => {
-        readonly _tag: "ImageRendering";
+        readonly _tag: 'ImageRendering';
         readonly value: string;
     };
     ClipPath: (value: string) => {
-        readonly _tag: "ClipPath";
+        readonly _tag: 'ClipPath';
         readonly value: string;
     };
     Mask: (value: string) => {
-        readonly _tag: "Mask";
+        readonly _tag: 'Mask';
         readonly value: string;
     };
     Filter: (value: string) => {
-        readonly _tag: "Filter";
+        readonly _tag: 'Filter';
         readonly value: string;
     };
     ClipPathUnits: (value: string) => {
-        readonly _tag: "ClipPathUnits";
+        readonly _tag: 'ClipPathUnits';
         readonly value: string;
     };
     MaskUnits: (value: string) => {
-        readonly _tag: "MaskUnits";
+        readonly _tag: 'MaskUnits';
         readonly value: string;
     };
     MaskContentUnits: (value: string) => {
-        readonly _tag: "MaskContentUnits";
+        readonly _tag: 'MaskContentUnits';
         readonly value: string;
     };
     FilterUnits: (value: string) => {
-        readonly _tag: "FilterUnits";
+        readonly _tag: 'FilterUnits';
         readonly value: string;
     };
     PrimitiveUnits: (value: string) => {
-        readonly _tag: "PrimitiveUnits";
+        readonly _tag: 'PrimitiveUnits';
         readonly value: string;
     };
     Offset: (value: string) => {
-        readonly _tag: "Offset";
+        readonly _tag: 'Offset';
         readonly value: string;
     };
     StopColor: (value: string) => {
-        readonly _tag: "StopColor";
+        readonly _tag: 'StopColor';
         readonly value: string;
     };
     StopOpacity: (value: string) => {
-        readonly _tag: "StopOpacity";
+        readonly _tag: 'StopOpacity';
         readonly value: string;
     };
     GradientUnits: (value: string) => {
-        readonly _tag: "GradientUnits";
+        readonly _tag: 'GradientUnits';
         readonly value: string;
     };
     GradientTransform: (value: string) => {
-        readonly _tag: "GradientTransform";
+        readonly _tag: 'GradientTransform';
         readonly value: string;
     };
     SpreadMethod: (value: string) => {
-        readonly _tag: "SpreadMethod";
+        readonly _tag: 'SpreadMethod';
         readonly value: string;
     };
     Fx: (value: string) => {
-        readonly _tag: "Fx";
+        readonly _tag: 'Fx';
         readonly value: string;
     };
     Fy: (value: string) => {
-        readonly _tag: "Fy";
+        readonly _tag: 'Fy';
         readonly value: string;
     };
     Fr: (value: string) => {
-        readonly _tag: "Fr";
+        readonly _tag: 'Fr';
         readonly value: string;
     };
     PatternUnits: (value: string) => {
-        readonly _tag: "PatternUnits";
+        readonly _tag: 'PatternUnits';
         readonly value: string;
     };
     PatternContentUnits: (value: string) => {
-        readonly _tag: "PatternContentUnits";
+        readonly _tag: 'PatternContentUnits';
         readonly value: string;
     };
     PatternTransform: (value: string) => {
-        readonly _tag: "PatternTransform";
+        readonly _tag: 'PatternTransform';
         readonly value: string;
     };
     MarkerStart: (value: string) => {
-        readonly _tag: "MarkerStart";
+        readonly _tag: 'MarkerStart';
         readonly value: string;
     };
     MarkerMid: (value: string) => {
-        readonly _tag: "MarkerMid";
+        readonly _tag: 'MarkerMid';
         readonly value: string;
     };
     MarkerEnd: (value: string) => {
-        readonly _tag: "MarkerEnd";
+        readonly _tag: 'MarkerEnd';
         readonly value: string;
     };
     MarkerWidth: (value: string) => {
-        readonly _tag: "MarkerWidth";
+        readonly _tag: 'MarkerWidth';
         readonly value: string;
     };
     MarkerHeight: (value: string) => {
-        readonly _tag: "MarkerHeight";
+        readonly _tag: 'MarkerHeight';
         readonly value: string;
     };
     MarkerUnits: (value: string) => {
-        readonly _tag: "MarkerUnits";
+        readonly _tag: 'MarkerUnits';
         readonly value: string;
     };
     RefX: (value: string) => {
-        readonly _tag: "RefX";
+        readonly _tag: 'RefX';
         readonly value: string;
     };
     RefY: (value: string) => {
-        readonly _tag: "RefY";
+        readonly _tag: 'RefY';
         readonly value: string;
     };
     Orient: (value: string) => {
-        readonly _tag: "Orient";
+        readonly _tag: 'Orient';
         readonly value: string;
     };
     PreserveAspectRatio: (value: string) => {
-        readonly _tag: "PreserveAspectRatio";
+        readonly _tag: 'PreserveAspectRatio';
         readonly value: string;
     };
-    OnMount: (action: Readonly<{
-        name: string;
-        args?: Record<string, unknown>;
-        f: (element: Element) => Stream.Stream<Message, any, never>;
-    }>) => {
-        readonly _tag: "OnMount";
-        readonly action: Readonly<{
-            name: string;
-            args?: Record<string, unknown>;
-            f: (element: Element) => Stream.Stream<Message, any, never>;
-        }>;
+    OnMount: (action: MountAction<Message, any>) => {
+        readonly _tag: 'OnMount';
+        readonly action: MountAction<Message, any>;
     };
     OnUnmount: (message: Message) => {
-        readonly _tag: "OnUnmount";
+        readonly _tag: 'OnUnmount';
         readonly message: Message;
     };
-    a: ElementFunction<Message>;
-    abbr: ElementFunction<Message>;
-    address: ElementFunction<Message>;
-    area: VoidElementFunction<Message>;
-    article: ElementFunction<Message>;
-    aside: ElementFunction<Message>;
-    audio: ElementFunction<Message>;
-    b: ElementFunction<Message>;
-    base: VoidElementFunction<Message>;
-    bdi: ElementFunction<Message>;
-    bdo: ElementFunction<Message>;
-    blockquote: ElementFunction<Message>;
-    body: ElementFunction<Message>;
-    br: VoidElementFunction<Message>;
-    button: ElementFunction<Message>;
-    canvas: ElementFunction<Message>;
-    caption: ElementFunction<Message>;
-    cite: ElementFunction<Message>;
-    code: ElementFunction<Message>;
-    col: VoidElementFunction<Message>;
-    colgroup: ElementFunction<Message>;
-    data: ElementFunction<Message>;
-    datalist: ElementFunction<Message>;
-    dd: ElementFunction<Message>;
-    del: ElementFunction<Message>;
-    details: ElementFunction<Message>;
-    dfn: ElementFunction<Message>;
-    dialog: ElementFunction<Message>;
-    div: ElementFunction<Message>;
-    dl: ElementFunction<Message>;
-    dt: ElementFunction<Message>;
-    em: ElementFunction<Message>;
-    embed: VoidElementFunction<Message>;
-    fieldset: ElementFunction<Message>;
-    figcaption: ElementFunction<Message>;
-    figure: ElementFunction<Message>;
-    footer: ElementFunction<Message>;
-    form: ElementFunction<Message>;
-    h1: ElementFunction<Message>;
-    h2: ElementFunction<Message>;
-    h3: ElementFunction<Message>;
-    h4: ElementFunction<Message>;
-    h5: ElementFunction<Message>;
-    h6: ElementFunction<Message>;
-    head: ElementFunction<Message>;
-    header: ElementFunction<Message>;
-    hgroup: ElementFunction<Message>;
-    hr: VoidElementFunction<Message>;
-    html: ElementFunction<Message>;
-    i: ElementFunction<Message>;
-    iframe: ElementFunction<Message>;
-    img: VoidElementFunction<Message>;
-    input: VoidElementFunction<Message>;
-    ins: ElementFunction<Message>;
-    kbd: ElementFunction<Message>;
-    label: ElementFunction<Message>;
-    legend: ElementFunction<Message>;
-    li: ElementFunction<Message>;
-    link: VoidElementFunction<Message>;
-    main: ElementFunction<Message>;
-    map: ElementFunction<Message>;
-    mark: ElementFunction<Message>;
-    menu: ElementFunction<Message>;
-    meta: VoidElementFunction<Message>;
-    meter: ElementFunction<Message>;
-    nav: ElementFunction<Message>;
-    noscript: ElementFunction<Message>;
-    object: ElementFunction<Message>;
-    ol: ElementFunction<Message>;
-    optgroup: ElementFunction<Message>;
-    option: ElementFunction<Message>;
-    output: ElementFunction<Message>;
-    p: ElementFunction<Message>;
-    picture: ElementFunction<Message>;
-    portal: ElementFunction<Message>;
-    pre: ElementFunction<Message>;
-    progress: ElementFunction<Message>;
-    q: ElementFunction<Message>;
-    rp: ElementFunction<Message>;
-    rt: ElementFunction<Message>;
-    ruby: ElementFunction<Message>;
-    s: ElementFunction<Message>;
-    samp: ElementFunction<Message>;
-    script: ElementFunction<Message>;
-    search: ElementFunction<Message>;
-    section: ElementFunction<Message>;
-    select: ElementFunction<Message>;
-    slot: ElementFunction<Message>;
-    small: ElementFunction<Message>;
-    source: VoidElementFunction<Message>;
-    span: ElementFunction<Message>;
-    strong: ElementFunction<Message>;
-    style: ElementFunction<Message>;
-    sub: ElementFunction<Message>;
-    summary: ElementFunction<Message>;
-    sup: ElementFunction<Message>;
-    table: ElementFunction<Message>;
-    tbody: ElementFunction<Message>;
-    td: ElementFunction<Message>;
-    template: ElementFunction<Message>;
-    textarea: ElementFunction<Message>;
-    tfoot: ElementFunction<Message>;
-    th: ElementFunction<Message>;
-    thead: ElementFunction<Message>;
-    time: ElementFunction<Message>;
-    title: ElementFunction<Message>;
-    tr: ElementFunction<Message>;
-    track: VoidElementFunction<Message>;
-    u: ElementFunction<Message>;
-    ul: ElementFunction<Message>;
-    var: ElementFunction<Message>;
-    video: ElementFunction<Message>;
-    wbr: VoidElementFunction<Message>;
-    svg: ElementFunction<Message>;
-    animate: ElementFunction<Message>;
-    animateMotion: ElementFunction<Message>;
-    animateTransform: ElementFunction<Message>;
-    circle: ElementFunction<Message>;
-    clipPath: ElementFunction<Message>;
-    defs: ElementFunction<Message>;
-    desc: ElementFunction<Message>;
-    ellipse: ElementFunction<Message>;
-    feBlend: ElementFunction<Message>;
-    feColorMatrix: ElementFunction<Message>;
-    feComponentTransfer: ElementFunction<Message>;
-    feComposite: ElementFunction<Message>;
-    feConvolveMatrix: ElementFunction<Message>;
-    feDiffuseLighting: ElementFunction<Message>;
-    feDisplacementMap: ElementFunction<Message>;
-    feDistantLight: ElementFunction<Message>;
-    feDropShadow: ElementFunction<Message>;
-    feFlood: ElementFunction<Message>;
-    feFuncA: ElementFunction<Message>;
-    feFuncB: ElementFunction<Message>;
-    feFuncG: ElementFunction<Message>;
-    feFuncR: ElementFunction<Message>;
-    feGaussianBlur: ElementFunction<Message>;
-    feImage: ElementFunction<Message>;
-    feMerge: ElementFunction<Message>;
-    feMergeNode: ElementFunction<Message>;
-    feMorphology: ElementFunction<Message>;
-    feOffset: ElementFunction<Message>;
-    fePointLight: ElementFunction<Message>;
-    feSpecularLighting: ElementFunction<Message>;
-    feSpotLight: ElementFunction<Message>;
-    feTile: ElementFunction<Message>;
-    feTurbulence: ElementFunction<Message>;
-    filter: ElementFunction<Message>;
-    foreignObject: ElementFunction<Message>;
-    g: ElementFunction<Message>;
-    image: ElementFunction<Message>;
-    line: ElementFunction<Message>;
-    linearGradient: ElementFunction<Message>;
-    marker: ElementFunction<Message>;
-    mask: ElementFunction<Message>;
-    metadata: ElementFunction<Message>;
-    mpath: ElementFunction<Message>;
-    path: ElementFunction<Message>;
-    pattern: ElementFunction<Message>;
-    polygon: ElementFunction<Message>;
-    polyline: ElementFunction<Message>;
-    radialGradient: ElementFunction<Message>;
-    rect: ElementFunction<Message>;
-    set: ElementFunction<Message>;
-    stop: ElementFunction<Message>;
-    switch: ElementFunction<Message>;
-    symbol: ElementFunction<Message>;
-    text: ElementFunction<Message>;
-    textPath: ElementFunction<Message>;
-    tspan: ElementFunction<Message>;
-    use: ElementFunction<Message>;
-    view: ElementFunction<Message>;
-    math: ElementFunction<Message>;
-    annotation: ElementFunction<Message>;
-    'annotation-xml': ElementFunction<Message>;
-    maction: ElementFunction<Message>;
-    menclose: ElementFunction<Message>;
-    merror: ElementFunction<Message>;
-    mfenced: ElementFunction<Message>;
-    mfrac: ElementFunction<Message>;
-    mglyph: ElementFunction<Message>;
-    mi: ElementFunction<Message>;
-    mlabeledtr: ElementFunction<Message>;
-    mlongdiv: ElementFunction<Message>;
-    mmultiscripts: ElementFunction<Message>;
-    mn: ElementFunction<Message>;
-    mo: ElementFunction<Message>;
-    mover: ElementFunction<Message>;
-    mpadded: ElementFunction<Message>;
-    mphantom: ElementFunction<Message>;
-    mprescripts: ElementFunction<Message>;
-    mroot: ElementFunction<Message>;
-    mrow: ElementFunction<Message>;
-    ms: ElementFunction<Message>;
-    mscarries: ElementFunction<Message>;
-    mscarry: ElementFunction<Message>;
-    msgroup: ElementFunction<Message>;
-    msline: ElementFunction<Message>;
-    mspace: ElementFunction<Message>;
-    msqrt: ElementFunction<Message>;
-    msrow: ElementFunction<Message>;
-    mstack: ElementFunction<Message>;
-    mstyle: ElementFunction<Message>;
-    msub: ElementFunction<Message>;
-    msubsup: ElementFunction<Message>;
-    msup: ElementFunction<Message>;
-    mtable: ElementFunction<Message>;
-    mtd: ElementFunction<Message>;
-    mtext: ElementFunction<Message>;
-    mtr: ElementFunction<Message>;
-    munder: ElementFunction<Message>;
-    munderover: ElementFunction<Message>;
-    semantics: ElementFunction<Message>;
 };
+declare const messageUniverse: unique symbol;
+/**
+ * Phantom marker carrying the builder's Message universe invariantly, so a
+ * builder from the wrong frame is rejected on this property rather than deep
+ * inside the structural comparison of every element constructor. It exists only
+ * to keep the diagnostic short and pointed at the cause.
+ */
+type MessageUniverse<Message> = Readonly<{
+    [messageUniverse]: (message: Message) => Message;
+}>;
+/**
+ * The typed Html builder a view builds DOM with: all HTML, SVG, and MathML
+ * element constructors, attribute constructors, a `keyed` helper for keyed
+ * elements, `empty` for rendering nothing, and `submodel` for embedding a
+ * child Submodel.
+ *
+ * A builder cannot be constructed by application code. The runtime supplies
+ * it to each view alongside the model, typed by the Message universe of the
+ * frame that view renders in: the app's Message for the root view, the
+ * Submodel's own Message inside a `Submodel.defineView`. Used in the frame
+ * that supplied it, a handler built with it carries exactly the Messages that
+ * frame's dispatcher can route, so a Message from another universe (the
+ * classic case: a shared helper building an app-level Message inside a
+ * Submodel) is a compile error at the handler call site.
+ *
+ * The type scopes where a builder is obtained, not where it is used. Carrying
+ * one into another frame, by storing it or handing the builder itself to a
+ * child through `viewInputs`, still compiles and still builds handlers that
+ * frame cannot route. Thread `h` as a parameter; never store it.
+ *
+ * Pass `h` along as an ordinary parameter when extracting view helpers; a
+ * memoized helper receives it through the `createLazy` args array. When a
+ * child must render markup that belongs to an ancestor, the ancestor passes a
+ * renderer that already closed over its own builder, not the builder, so the
+ * handlers resolve in the ancestor's boundary. Where no builder is in scope
+ * at all, typically module scope, use {@link inertHtml}.
+ */
+export type HtmlBuilder<Message> = MessageUniverse<Message> & HtmlElements<Message> & HtmlAttributes<Message> & Readonly<{
+    empty: null;
+    keyed: (tagName: TagName) => (key: PropertyKey, attributes?: ReadonlyArray<Attribute<Message> | ChildAttribute>, children?: ReadonlyArray<Child>) => Html;
+    submodel: <View extends AnySubmodelView>(config: SubmodelConfig<View, Message>) => Html;
+}>;
+/** @internal Returns the process-wide builder singleton retyped to a frame's
+ *  Message. Only the runtime, the Scene test harness, and the framework's own
+ *  tests call this, each immediately before invoking a view under the frame
+ *  that Message belongs to. `h.submodel` does not: it receives the singleton
+ *  as a parameter, which is what keeps `index.ts` and `submodel.ts` free of a
+ *  runtime import cycle. Application code receives builders exclusively as
+ *  view parameters. */
+export declare const __htmlBuilder: <Message>() => HtmlBuilder<Message>;
 /**
- * Returns all HTML, SVG, and MathML element constructors, attribute
- * constructors, a `keyed` helper for keyed elements, and `empty` for
- * rendering nothing.
+ * Builder whose Message universe is empty. Its Message type is `never`, so
+ * every event-handler constructor is uncallable and nothing built with it can
+ * dispatch a Message. Elements, attributes, and keying behave exactly as they
+ * do on any other builder, and the markup itself is free to vary with runtime
+ * data. Inert describes what the result can do, not how it is computed.
+ *
+ * Inert to Foldkit's dispatch, not to the browser. A raw DOM attribute still
+ * does whatever the browser makes of it, which is exactly how the default
+ * crash view gets a working reload button:
+ * `h.Attribute('onclick', 'location.reload()')`. What `never` rules out is a
+ * Message reaching `update`, not every possible behavior.
+ *
+ * Use it where no builder is in scope, which in practice means module scope
+ * and the frameless renders the framework performs itself:
+ *
+ * ```ts
+ * import { inertHtml as ih } from 'foldkit/html'
+ *
+ * const PagefindBody = ih.DataAttribute('pagefind-body', '')
+ * ```
+ *
+ * Attributes it produces are `Attribute<never>`, so they flow into any
+ * Message universe by covariance. That makes it the right builder for
+ * library code emitting handler-free attribute bundles for arbitrary apps.
  *
- * The returned object is a process-wide singleton. The `Message` type
- * parameter is erased at runtime, and the element and attribute constructors
- * carry no per-program state (dispatch is read from the runtime singleton at
- * call time), so calling `html()` repeatedly from inside view functions does
- * not allocate a fresh object.
+ * Inside a view, use the view's own `h` parameter. A view already holds a
+ * builder, and reaching past it for this one is the habit that made a
+ * caller-chosen Message type possible in the first place.
  */
-export declare const html: <Message = never>() => ReturnType<typeof buildHtmlFactory<Message>>;
+export declare const inertHtml: HtmlBuilder<never>;
 //# sourceMappingURL=index.d.ts.map