diff --git a/src/Validation/ListOfValidation.php b/src/Validation/ListOfValidation.php
index 1571a29..671a4ac 100644
--- a/src/Validation/ListOfValidation.php
+++ b/src/Validation/ListOfValidation.php
@@ -23,7 +23,7 @@ public static function sequence(array $validations): Validation
                 /** @var ValidationSuccess<T> $v */
                 $results[] = $v->getValue();
             } else {
-                /** @var ValidationFailures<T> */
+                /** @var ValidationFailures<never-return> */
                 return $v;
             }
         }
diff --git a/src/Validation/Validation.php b/src/Validation/Validation.php
index f5a0738..b5e38bb 100644
--- a/src/Validation/Validation.php
+++ b/src/Validation/Validation.php
@@ -22,9 +22,8 @@ public static function success($a): self
     }
 
     /**
-     * @psalm-template T
      * @psalm-param list<VError> $errors
-     * @psalm-return ValidationFailures<T>
+     * @psalm-return ValidationFailures<never-return>
      *
      * @param VError[] $errors
      */
@@ -34,11 +33,10 @@ public static function failures(array $errors): self
     }
 
     /**
-     * @psalm-template T
      * @psalm-param mixed $value
      * @psalm-param Context $context
      * @psalm-param string|null $message
-     * @psalm-return ValidationFailures<T>
+     * @psalm-return ValidationFailures<never-return>
      *
      * @param mixed $value
      */