diff --git a/psalm.xml b/psalm.xml
new file mode 100644
index 0000000..2eb5541
--- /dev/null
+++ b/psalm.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0"?>
+<psalm
+    errorLevel="1"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns="https://getpsalm.org/schema/config"
+    xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
+>
+    <projectFiles>
+        <directory name="tests/StaticAnalysis" />
+        <ignoreFiles>
+            <directory name="vendor" />
+        </ignoreFiles>
+    </projectFiles>
+</psalm>
diff --git a/tests/StaticAnalysis/Stub/A.php b/tests/StaticAnalysis/Stub/A.php
new file mode 100644
index 0000000..5a20a7e
--- /dev/null
+++ b/tests/StaticAnalysis/Stub/A.php
@@ -0,0 +1,9 @@
+<?php
+
+declare(strict_types=1);
+
+namespace CuyZ\Valinor\Tests\StaticAnalysis\Stub;
+
+final class A
+{
+}
diff --git a/tests/StaticAnalysis/can-infer-tree-mapper-results.php b/tests/StaticAnalysis/can-infer-tree-mapper-results.php
new file mode 100644
index 0000000..ae13502
--- /dev/null
+++ b/tests/StaticAnalysis/can-infer-tree-mapper-results.php
@@ -0,0 +1,14 @@
+<?php
+
+declare(strict_types=1);
+
+namespace CuyZ\Valinor\Tests\StaticAnalysis;
+
+use CuyZ\Valinor\Mapper\TreeMapper;
+use CuyZ\Valinor\Tests\StaticAnalysis\Stub\A;
+
+/** @param mixed $input */
+function mappingClassWillInferObjectOfSameType(TreeMapper $mapper, $input): A
+{
+    return $mapper->map(A::class, $input);
+}