diff --git a/src/types/dom-events.ts b/src/types/dom-events.ts
new file mode 100644
index 0000000..8b505e7
--- /dev/null
+++ b/src/types/dom-events.ts
@@ -0,0 +1,21 @@
+import type { KeysWhere } from './utils.js';
+
+export type AnimationEventName = KeysWhere<DocumentEventMap, AnimationEvent>;
+export type ClipboardEventName = KeysWhere<DocumentEventMap, ClipboardEvent>;
+export type CompositionEventName = KeysWhere<DocumentEventMap, CompositionEvent>;
+export type DragEventName = KeysWhere<DocumentEventMap, DragEvent>;
+export type ErrorEventName = KeysWhere<DocumentEventMap, ErrorEvent>;
+export type EventName = KeysWhere<DocumentEventMap, Event>;
+export type FocusEventName = KeysWhere<DocumentEventMap, FocusEvent>;
+export type FormDataEventName = KeysWhere<DocumentEventMap, FormDataEvent>;
+export type InputEventName = KeysWhere<DocumentEventMap, InputEvent>;
+export type KeyboardEventName = KeysWhere<DocumentEventMap, KeyboardEvent>;
+export type MouseEventName = KeysWhere<DocumentEventMap, MouseEvent>;
+export type PointerEventName = KeysWhere<DocumentEventMap, PointerEvent>;
+export type ProgressEventName = KeysWhere<DocumentEventMap, ProgressEvent>;
+export type SecurityPolicyViolationEventName = KeysWhere<DocumentEventMap, SecurityPolicyViolationEvent>;
+export type SubmitEventName = KeysWhere<DocumentEventMap, SubmitEvent>;
+export type TouchEventName = KeysWhere<DocumentEventMap, TouchEvent>;
+export type TransitionEventName = KeysWhere<DocumentEventMap, TransitionEvent>;
+export type UIEventName = KeysWhere<DocumentEventMap, UIEvent>;
+export type WheelEventName = KeysWhere<DocumentEventMap, WheelEvent>;
diff --git a/src/types/index.ts b/src/types/index.ts
index e5a218f..32b8b28 100644
--- a/src/types/index.ts
+++ b/src/types/index.ts
@@ -2,6 +2,7 @@ export * from './arrays.js';
 export * from './branded.js';
 export * from './common.js';
 export * from './date-time.js';
+export * from './dom-events.js';
 export * from './functions.js';
 export * from './numbers.js';
 export * from './objects.js';
diff --git a/src/types/utils.ts b/src/types/utils.ts
index e8bf4f1..cfd12b2 100644
--- a/src/types/utils.ts
+++ b/src/types/utils.ts
@@ -84,7 +84,7 @@ export type RemoveNever<Type> = {
  * Return a list of keys where the property value match the `DataType`.
  */
 export type KeysWhere<Type, DataType, Key extends keyof Type = keyof Type> = Key extends PropertyKey
-  ? DataType extends Type[Key]
+  ? Type[Key] extends DataType
     ? Key
     : never
   : never;