diff --git a/package.json b/package.json
index cee2108..206e76b 100644
--- a/package.json
+++ b/package.json
@@ -48,6 +48,11 @@
       "import": "./dist/fetch.mjs",
       "default": "./dist/fetch.js"
     },
+    "./array-at": {
+      "types": "./dist/array-at.d.ts",
+      "import": "./dist/array-at.mjs",
+      "default": "./dist/array-at.js"
+    },
     "./array-includes": {
       "types": "./dist/array-includes.d.ts",
       "import": "./dist/array-includes.mjs",
diff --git a/readme.md b/readme.md
index 65aa2c3..3a03e71 100644
--- a/readme.md
+++ b/readme.md
@@ -262,6 +262,33 @@ const validate = (input: unknown) => {
 };
 ```
 
+### Make `.at()` on `as const` arrays more smart
+
+```ts
+import "@total-typescript/ts-reset/array-at";
+```
+
+When you're using `.at()` on a tuple, you lose the specificity of your array's type
+
+```ts
+// BEFORE
+
+const array = [false, 1, "2"] as const
+const first = array.at(0) // false | 1 | "2" | undefined
+const last = array.at(-1) // false | 1 | "2" | undefined
+```
+
+With `array-at` enabled, you keep the type of the specific index you're accessing:
+
+```ts
+// AFTER
+import "@total-typescript/ts-reset/array-at";
+
+const array = [false, 1, "2"] as const
+const first = array.at(0) // false
+const last = array.at(-1) // "2"
+```
+
 ## Rules we won't add
 
 ### `Object.keys`/`Object.entries`
diff --git a/src/entrypoints/array-at.d.ts b/src/entrypoints/array-at.d.ts
new file mode 100644
index 0000000..ae1afb8
--- /dev/null
+++ b/src/entrypoints/array-at.d.ts
@@ -0,0 +1,18 @@
+/// <reference path="utils.d.ts" />
+
+interface ReadonlyArray<T> {
+  at<
+    const N extends number,
+    I extends number = `${N}` extends `${infer J extends number}.${number}`
+      ? J
+      : N,
+  >(
+    index: N,
+  ): TSReset.Equal<I, number> extends true
+    ? T | undefined
+    : `${I}` extends `-${infer J extends number}`
+    ? `${TSReset.Subtract<this["length"], J>}` extends `-${number}`
+      ? undefined
+      : this[TSReset.Subtract<this["length"], J>]
+    : this[I];
+}
diff --git a/src/entrypoints/recommended.d.ts b/src/entrypoints/recommended.d.ts
index 6eabca1..26f40bb 100644
--- a/src/entrypoints/recommended.d.ts
+++ b/src/entrypoints/recommended.d.ts
@@ -2,5 +2,6 @@
 /// <reference path="filter-boolean.d.ts" />
 /// <reference path="is-array.d.ts" />
 /// <reference path="json-parse.d.ts" />
+/// <reference path="array-at.d.ts" />
 /// <reference path="array-includes.d.ts" />
 /// <reference path="set-has.d.ts" />
diff --git a/src/entrypoints/utils.d.ts b/src/entrypoints/utils.d.ts
index 00171cb..6ec23aa 100644
--- a/src/entrypoints/utils.d.ts
+++ b/src/entrypoints/utils.d.ts
@@ -14,4 +14,26 @@ declare namespace TSReset {
     : T extends symbol
     ? symbol
     : T;
+
+  type BuildTuple<L extends number, T extends any[] = []> = T extends {
+    length: L;
+  }
+    ? T
+    : BuildTuple<L, [...T, unknown]>;
+
+  // Extra `A extends number` and `B extends number` needed for union types to work Such as Subtract<10 | 20, 1>
+  type Subtract<A extends number, B extends number> = A extends number
+    ? B extends number
+      ? BuildTuple<A> extends [...infer U, ...BuildTuple<B>]
+        ? U["length"]
+        : never
+      : never
+    : never;
+
+  type Equal<X, Y> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y
+    ? 1
+    : 2
+    ? true
+    : false;
+  type NotEqual<X, Y> = true extends Equal<X, Y> ? false : true;
 }
diff --git a/src/tests/array-at.ts b/src/tests/array-at.ts
new file mode 100644
index 0000000..22a5d10
--- /dev/null
+++ b/src/tests/array-at.ts
@@ -0,0 +1,60 @@
+import { doNotExecute, Equal, Expect } from "./utils";
+
+doNotExecute(async () => {
+  const arr = [false, 1, "2"] as const;
+
+  const a = arr.at(0);
+  const b = arr.at(1);
+  const c = arr.at(2);
+  const d = arr.at(3);
+  const e = arr.at(1.5);
+  type tests = [
+    Expect<Equal<typeof a, false>>,
+    Expect<Equal<typeof b, 1>>,
+    Expect<Equal<typeof c, "2">>,
+    Expect<Equal<typeof d, undefined>>,
+    Expect<Equal<typeof e, 1>>,
+  ];
+});
+
+doNotExecute(async () => {
+  const arr = [false, 1, "2"] as const;
+
+  const a = arr.at(-1);
+  const b = arr.at(-2);
+  const c = arr.at(-3);
+  const d = arr.at(-4);
+  const e = arr.at(-1.5);
+  type tests = [
+    Expect<Equal<typeof a, "2">>,
+    Expect<Equal<typeof b, 1>>,
+    Expect<Equal<typeof c, false>>,
+    Expect<Equal<typeof d, undefined>>,
+    Expect<Equal<typeof e, "2">>,
+  ];
+});
+
+doNotExecute(async () => {
+  const arr = [false, 1, "2"] as const;
+
+  const index = 0 as 0 | 1
+
+  const a = arr.at(index);
+  type tests = [Expect<Equal<typeof a, false | 1>>];
+});
+
+doNotExecute(async () => {
+  const arr = [false, true, 1, "2"] as const;
+
+  const index = -1 as -1 | -2
+
+  const a = arr.at(index);
+  type tests = [Expect<Equal<typeof a, "2" | 1>>];
+});
+
+doNotExecute(async () => {
+  const arr = [false, 1, "2"] as const;
+  const index = 1 as number;
+  const a = arr.at(index);
+  type tests = [Expect<Equal<typeof a, false | 1 | "2" | undefined>>];
+});