diff --git a/package.json b/package.json
index d89004d..e62628b 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
 	"name": "trycat",
-	"version": "0.2.0",
+	"version": "0.2.1",
 	"description": "A lightweight, type-safe, zero-dependency implementation of the Result type.",
 	"keywords": ["result", "result-type", "error-handling", "error", "monad", "rust", "rust-result"],
 	"author": "kennethnym",
diff --git a/trycat.test.ts b/trycat.test.ts
index e1b260c..8cb5a77 100644
--- a/trycat.test.ts
+++ b/trycat.test.ts
@@ -1,5 +1,5 @@
 import { describe, expect, expectTypeOf, it, test, vi } from "vitest"
-import { type Result, err, ok, tryp, trys } from "./trycat"
+import { type Result, err, ok, tryp, trys, Err } from "./trycat"
 
 describe("Ok", () => {
 	describe("isOk", () => {
@@ -23,6 +23,11 @@ describe("Ok", () => {
 		})
 	})
 
+	test("it accepts empty value", () => {
+		const result = ok()
+		expect(result.value).toBeUndefined()
+	})
+
 	test("inspect calls the given function with the contained value", () => {
 		const value = [1, 2, 3]
 		const fn = vi.fn()
@@ -142,6 +147,11 @@ describe("Err", () => {
 		}
 	})
 
+	test("it accepts empty error", () => {
+		const result = err()
+		expect(result.error).toBeUndefined()
+	})
+
 	test("inspect does nothing and returns Err", () => {
 		const fn = vi.fn()
 		const result = err(401).inspect(fn)
@@ -250,6 +260,15 @@ describe("trys", () => {
 			throw new Error("Expected an Err, received an Ok")
 		}
 	})
+
+	it("works with void function", () => {
+		const result = trys(() => {})
+		if (result.isOk()) {
+			expect(result.value).toBeUndefined()
+		} else {
+			throw new Error("Expected an Ok value, received an Err")
+		}
+	})
 })
 
 describe("tryp", () => {
@@ -270,4 +289,13 @@ describe("tryp", () => {
 			throw new Error("Expected an Err, received an Ok")
 		}
 	})
+
+	it("works with void Promise", async () => {
+		const result = await tryp(Promise.resolve())
+		if (result.isOk()) {
+			expect(result.value).toBeUndefined()
+		} else {
+			throw new Error("Expected an Ok value, received an Err")
+		}
+	})
 })
diff --git a/trycat.ts b/trycat.ts
index 68ad44c..85f45d6 100644
--- a/trycat.ts
+++ b/trycat.ts
@@ -324,21 +324,28 @@ class Err<TErr> implements ResultBase<never, TErr> {
  */
 type Result<T, TErr> = Ok<T> | Err<TErr>
 
-function ok<T>(value: T): Ok<T> {
-	return new Ok(value)
+function ok(): Ok<void>
+function ok<T>(value: T): Ok<T>
+function ok<T>(value?: T): Ok<T> | Ok<void> {
+	return value ? new Ok(value) : new Ok(undefined)
 }
 
-function err<TErr>(error: TErr): Err<TErr> {
-	return new Err(error)
+function err(): Err<void>
+function err<T>(error: T): Err<T>
+function err<TErr>(error?: TErr): Err<TErr> | Err<void> {
+	return error ? new Err(error) : new Err(undefined)
 }
 
 /**
  * Calls the given function, catches any thrown error into an {@link Err},
  * and wraps the returned value with an {@link Ok} if nothing goes wrong.
  */
-function trys<T>(fn: () => T): Result<T, unknown> {
+function trys(fn: () => void): Result<void, unknown>
+function trys<T>(fn: () => T): Result<T, unknown>
+function trys<T>(fn: () => T | undefined): Result<void, unknown> | Result<T, unknown> {
 	try {
-		return ok(fn())
+		const retval = fn()
+		return retval ? ok(retval) : ok()
 	} catch (e: unknown) {
 		return err(e)
 	}
@@ -354,7 +361,9 @@ function trys<T>(fn: () => T): Result<T, unknown> {
  *   return err(res.error)
  * }
  */
-function tryp<T>(promise: Promise<T>): Promise<Result<T, unknown>> {
+function tryp(promise: Promise<void>): Promise<Result<void, unknown>>
+function tryp<T>(promise: Promise<T>): Promise<Result<T, unknown>>
+function tryp<T>(promise: Promise<T>): Promise<Result<T, unknown> | Result<void, unknown>> {
 	return promise.then((value) => ok(value)).catch((e) => err(e))
 }