diff --git a/src/ValueException.php b/src/ValueException.php
index d823e72..5f0ec3a 100644
--- a/src/ValueException.php
+++ b/src/ValueException.php
@@ -44,6 +44,10 @@ class ValueException extends UserException {
     return new static(self::message(null, $message, $kind, $prefix, " should not be null"));
   }
 
+  static final function check_null($value, ?string $kind=null, ?string $prefix=null, ?string $message=null): void {
+    if ($value === null) throw static::null($kind, $prefix, $message);
+  }
+
   static final function invalid_kind($value=null, ?string $kind=null, ?string $prefix=null, ?string $message=null): self {
     return new static(self::message($value, $message, $kind, $prefix, " is invalid"));
   }