diff --git a/composer.json b/composer.json
index 18aac00..89d6f26 100644
--- a/composer.json
+++ b/composer.json
@@ -7,7 +7,7 @@
         "psr-4": {
             "TH\\Maybe\\": "src/"
         },
-        "files": ["src/functions/option.php", "src/functions/result.php"]
+        "files": ["src/functions/option.php", "src/functions/result.php", "src/functions/internal.php"]
     },
     "autoload-dev": {
         "psr-4": {
diff --git a/phpcs.xml.dist b/phpcs.xml.dist
index f7e09e1..abd0e27 100644
--- a/phpcs.xml.dist
+++ b/phpcs.xml.dist
@@ -34,6 +34,7 @@
         <exclude name="SlevomatCodingStandard.Functions.DisallowNamedArguments" />
         <exclude name="SlevomatCodingStandard.Functions.DisallowTrailingCommaInCall" />
         <exclude name="SlevomatCodingStandard.Functions.DisallowTrailingCommaInDeclaration" />
+        <exclude name="SlevomatCodingStandard.Functions.DisallowTrailingCommaInClosureUse" />
         <exclude name="SlevomatCodingStandard.Functions.UnusedParameter" />
         <exclude name="SlevomatCodingStandard.Namespaces.FullyQualifiedClassNameInAnnotation" />
         <exclude name="SlevomatCodingStandard.Namespaces.FullyQualifiedExceptions" />
diff --git a/src/functions/option.php b/src/functions/option.php
index 509e2bb..55a65c7 100644
--- a/src/functions/option.php
+++ b/src/functions/option.php
@@ -3,6 +3,7 @@
 namespace TH\Maybe\Option;
 
 use TH\DocTest\Attributes\ExamplesSetup;
+use TH\Maybe\Internal;
 use TH\Maybe\Option;
 use TH\Maybe\Result;
 use TH\Maybe\Tests\Helpers\IgnoreUnusedResults;
@@ -137,6 +138,94 @@ function tryOf(
     }
 }
 
+/**
+ * Wrap a callable into one that transforms its result into an `Option`.
+ * It will be a `Some` option containing the result if it is different from `$noneValue` (default `null`).
+ *
+ * # Examples
+ *
+ * Successful execution:
+ *
+ * ```
+ * self::assertEq(Option\ify(strtolower(...))("FRUITS"), Option\some("fruits"));
+ * ```
+ *
+ * Convertion of `null` to `Option\None`:
+ *
+ * ```
+ * self::assertEq(Option\ify(fn() => null)(), Option\none());
+ * ```
+ *
+ * @template U
+ * @param callable(mixed...):U $callback
+ * @return \Closure(mixed...):Option<U>
+ */
+function ify(callable $callback, mixed $noneValue = null, bool $strict = true): \Closure
+{
+    return static fn (...$args) => Option\fromValue($callback(...$args), $noneValue, $strict);
+}
+
+/**
+ * Wrap a callable into one that transforms its result into an `Option` like `Option\ify()` does
+ * but also return `Option\None` if it an exception matching $exceptionClass was thrown.
+ *
+ * # Examples
+ *
+ * Successful execution:
+ *
+ * ```
+ * self::assertEq(Option\tryIfy(strtolower(...))("FRUITS"), Option\some("fruits"));
+ * ```
+ *
+ * Convertion of `null` to `Option\None`:
+ *
+ * ```
+ * self::assertEq(Option\tryIfy(fn() => null)(), Option\none());
+ * ```
+ *
+ * Checked Exception:
+ *
+ * ```
+ * self::assertEq(Option\tryIfy(fn () => new \DateTimeImmutable("nope"))(), Option\none());
+ * ```
+ *
+ * Unchecked Exception:
+ *
+ * ```
+ * self::assertEq(Option\tryIfy(fn () => 1 / 0)(), Option\none());
+ * // @throws DivisionByZeroError Division by zero
+ * ```
+ *
+ * @template U
+ * @template E of \Throwable
+ * @param callable(mixed...):U $callback
+ * @param class-string<E> $exceptionClass
+ * @param class-string<E> $additionalExceptionClasses
+ * @return \Closure(mixed...):Option<U>
+ */
+function tryIfy(
+    callable $callback,
+    mixed $noneValue = null,
+    bool $strict = true,
+    string $exceptionClass = \Exception::class,
+    string ...$additionalExceptionClasses,
+): \Closure
+{
+    return static function (...$args) use (
+        $callback,
+        $noneValue,
+        $strict,
+        $exceptionClass,
+        $additionalExceptionClasses,
+    ): mixed {
+        try {
+            return Option\fromValue($callback(...$args), $noneValue, $strict);
+        } catch (\Throwable $th) {
+            return Internal\trap($th, Option\none(...), $exceptionClass, ...$additionalExceptionClasses);
+        }
+    };
+}
+
 /**
  * Converts from `Option<Option<T>>` to `Option<T>`.
  *
diff --git a/src/functions/result.php b/src/functions/result.php
index 490eee4..065ed83 100644
--- a/src/functions/result.php
+++ b/src/functions/result.php
@@ -3,6 +3,7 @@
 namespace TH\Maybe\Result;
 
 use TH\DocTest\Attributes\ExamplesSetup;
+use TH\Maybe\Internal;
 use TH\Maybe\Option;
 use TH\Maybe\Result;
 use TH\Maybe\Tests\Helpers\IgnoreUnusedResults;
@@ -79,24 +80,93 @@ function err(mixed $value): Result\Err
  * @template E of \Throwable
  * @param callable(mixed...):U $callback
  * @param class-string<E> $exceptionClass
+ * @param class-string<E> $additionalExceptionClasses
  * @return Result<U,E>
  * @throws \Throwable
  */
 #[ExamplesSetup(IgnoreUnusedResults::class)]
-function trap(callable $callback, string $exceptionClass = \Exception::class): Result
-{
+function trap(
+    callable $callback,
+    string $exceptionClass = \Exception::class,
+    string ...$additionalExceptionClasses,
+): Result {
     try {
         /** @var Result<U,E> */
         return Result\ok($callback());
     } catch (\Throwable $th) {
-        if (\is_a($th, $exceptionClass)) {
-            return Result\err($th);
-        }
-
-        throw $th;
+        /** @var Result\Err<E> */
+        return Internal\trap($th, Result\err(...), $exceptionClass, ...$additionalExceptionClasses);
     }
 }
 
+/**
+ * Wrap a callable into one that transforms its returned value or thrown exception
+ * into a `Result` like `Result\trap()` does, but without executing it.
+ *
+ * # Examples
+ *
+ * Successful execution:
+ *
+ * ```
+ * self::assertEq(Result\ok(3), Result\ify(fn () => 3)());
+ * ```
+ *
+ * Checked exception:
+ *
+ * ```
+ * $x = Result\ify(fn () => new \DateTimeImmutable("2020-30-30 UTC"))();
+ * self::assertTrue($x->isErr());
+ * $x->unwrap();
+ * // @throws Exception Failed to parse time string (2020-30-30 UTC) at position 6 (0): Unexpected character
+ * ```
+ *
+ * Unchecked exception:
+ *
+ * ```
+ * Result\ify(fn () => 1/0)();
+ * // @throws DivisionByZeroError Division by zero
+ * ```
+ *
+ * Result-ify `strtotime()`:
+ *
+ * ```
+ * $strtotime = Result\ify(
+ *     static fn (...$args)
+ *         => \strtotime(...$args)
+ *             ?: throw new \RuntimeException("Could not convert string to time"),
+ * );
+ *
+ * self::assertEq($strtotime("2015-09-21 UTC midnight")->unwrap(), 1442793600);
+ *
+ * $r = $strtotime("nope");
+ * self::assertTrue($r->isErr());
+ * $r->unwrap(); // @throws RuntimeException Could not convert string to time
+ * ```
+ *
+ * @template U
+ * @template E of \Throwable
+ * @param callable(mixed...):U $callback
+ * @param class-string<E> $exceptionClass
+ * @param class-string<E> $additionalExceptionClasses
+ * @return \Closure(mixed...):Result<U,E>
+ */
+#[ExamplesSetup(IgnoreUnusedResults::class)]
+function ify(
+    callable $callback,
+    string $exceptionClass = \Exception::class,
+    string ...$additionalExceptionClasses,
+): \Closure {
+    return static function (...$args) use ($callback, $exceptionClass, $additionalExceptionClasses): Result
+    {
+        try {
+            return Result\ok($callback(...$args));
+        } catch (\Throwable $th) {
+            /** @var Result\Err<E> */
+            return Internal\trap($th, Result\err(...), $exceptionClass, ...$additionalExceptionClasses);
+        }
+    };
+}
+
 /**
  * Converts from `Result<Result<T, E>, E>` to `Result<T, E>`.
  *
diff --git a/tests/Unit/Option/IfyTest.php b/tests/Unit/Option/IfyTest.php
new file mode 100644
index 0000000..6a765bd
--- /dev/null
+++ b/tests/Unit/Option/IfyTest.php
@@ -0,0 +1,72 @@
+<?php declare(strict_types=1);
+
+namespace TH\Maybe\Tests\Unit\Option;
+
+use PHPUnit\Framework\Assert;
+use PHPUnit\Framework\TestCase;
+use TH\Maybe\Option;
+use TH\Maybe\Tests\Provider;
+
+final class IfyTest extends TestCase
+{
+    use Provider\Options;
+
+    /**
+     * @dataProvider fromValueMatrix
+     * @param Option<mixed> $expected
+     */
+    public function testIfy(Option $expected, mixed $value, mixed $noneValue, bool $strict = true): void
+    {
+        Assert::assertEquals($expected, Option\ify(static fn () => $value, $noneValue, strict: $strict)());
+    }
+
+    /**
+     * @dataProvider fromValueMatrix
+     * @param Option<mixed> $expected
+     */
+    public function testTryOf(Option $expected, mixed $value, mixed $noneValue, bool $strict = true): void
+    {
+        Assert::assertEquals($expected, Option\tryIfy(static fn () => $value, $noneValue, strict: $strict)());
+    }
+
+    public function testOfDefaultToNull(): void
+    {
+        Assert::assertEquals(Option\none(), Option\ify(static fn () => null)());
+        Assert::assertEquals(Option\some(1), Option\ify(static fn () => 1)());
+    }
+
+    public function testTryOfDefaultToNull(): void
+    {
+        Assert::assertEquals(Option\none(), Option\tryIfy(static fn () => null)());
+        Assert::assertEquals(Option\some(1), Option\tryIfy(static fn () => 1)());
+    }
+
+    public function testOfDefaultToStrict(): void
+    {
+        $o = (object)[];
+
+        Assert::assertEquals(Option\none(), Option\ify(static fn () => $o, (object)[], strict: false)());
+        Assert::assertEquals($o, Option\ify(static fn () => $o, (object)[])()->unwrap());
+    }
+
+    public function testTryOfDefaultToStrict(): void
+    {
+        $o = (object)[];
+
+        Assert::assertEquals(Option\none(), Option\tryIfy(static fn () => $o, (object)[], strict: false)());
+        Assert::assertEquals($o, Option\tryIfy(static fn () => $o, (object)[])()->unwrap());
+    }
+
+    public function testTryOfExeptions(): void
+    {
+        // @phpstan-ignore-next-line
+        Assert::assertEquals(Option\none(), Option\tryIfy(static fn () => new \DateTimeImmutable("nope"))());
+
+        try {
+            // @phpstan-ignore-next-line
+            Option\tryIfy(static fn () => 1 / 0)();
+            Assert::fail("An exception should have been thrown");
+        } catch (\DivisionByZeroError) {
+        }
+    }
+}
diff --git a/tests/Unit/Result/IfyTest.php b/tests/Unit/Result/IfyTest.php
new file mode 100644
index 0000000..656c939
--- /dev/null
+++ b/tests/Unit/Result/IfyTest.php
@@ -0,0 +1,66 @@
+<?php declare(strict_types=1);
+
+namespace TH\Maybe\Tests\Unit\Result;
+
+use PHPUnit\Framework\TestCase;
+use TH\Maybe\Result;
+use TH\Maybe\Tests\Assert;
+use TH\Maybe\Tests\Provider;
+
+final class IfyTest extends TestCase
+{
+    use Provider\Values;
+
+    /**
+     * @dataProvider values
+     */
+    public function testIfyOk(mixed $value): void
+    {
+        $callback = static fn () => $value;
+
+        Assert::assertEquals($value, Result\ify($callback)()->unwrap());
+    }
+
+    public function testIfyCheckedException(): void
+    {
+        $this->expectExceptionObject(
+            new \Exception(
+                "Failed to parse time string (nope) at position 0 (n): The timezone could not be found in the database",
+            ),
+        );
+
+        Result\ify(
+            // @phpstan-ignore-next-line
+            static fn () => new \DateTimeImmutable("nope"),
+        )()->unwrap();
+    }
+
+    public function testIfyUncheckedException(): void
+    {
+        try {
+            // @phpstan-ignore-next-line
+            Result\ify(static fn () => 1 / 0)();
+            Assert::fail("An exception should have been thrown");
+        } catch (\DivisionByZeroError $ex) {
+            Assert::assertEquals(
+                "Division by zero",
+                $ex->getMessage(),
+            );
+        }
+    }
+
+    /**
+     * @dataProvider values
+     */
+    public function testIfyWithArguments(mixed $value): void
+    {
+        $fileGetContents = Result\ify(
+            callback: static fn (string $filename): string => match ($content = \file_get_contents($filename)) {
+                false => throw new \RuntimeException("Can't get content from $filename"),
+                default => $content,
+            },
+        );
+
+        Assert::assertIsCallable($fileGetContents);
+    }
+}