diff --git a/src/Psl/Internal/Loader.php b/src/Psl/Internal/Loader.php
index 39e400d1..d8b78fbf 100644
--- a/src/Psl/Internal/Loader.php
+++ b/src/Psl/Internal/Loader.php
@@ -344,6 +344,7 @@ final class Loader
         'Psl\\Type\\scalar' => 'Psl/Type/scalar.php',
         'Psl\\Type\\shape' => 'Psl/Type/shape.php',
         'Psl\\Type\\uint' => 'Psl/Type/uint.php',
+        'Psl\\Type\\class_string' => 'Psl/Type/class_string.php',
         'Psl\\Type\\u32' => 'Psl/Type/u32.php',
         'Psl\\Type\\u16' => 'Psl/Type/u16.php',
         'Psl\\Type\\u8' => 'Psl/Type/u8.php',
diff --git a/src/Psl/Type/Internal/ClassStringType.php b/src/Psl/Type/Internal/ClassStringType.php
new file mode 100644
index 00000000..91b30321
--- /dev/null
+++ b/src/Psl/Type/Internal/ClassStringType.php
@@ -0,0 +1,76 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Psl\Type\Internal;
+
+use Psl\Type\Exception\AssertException;
+use Psl\Type\Exception\CoercionException;
+use Psl\Type\Type;
+
+/**
+ * @template T as object
+ *
+ * @extends Type<class-string<T>>
+ *
+ * @internal
+ */
+final class ClassStringType extends Type
+{
+    /**
+     * @var class-string<T> $classname
+     */
+    private string $classname;
+
+    /**
+     * @param class-string<T> $classname
+     */
+    public function __construct(
+        string $classname
+    ) {
+        $this->classname = $classname;
+    }
+
+    /**
+     * @psalm-assert-if-true class-string<T> $value
+     */
+    public function matches(mixed $value): bool
+    {
+        return is_string($value) && is_a($value, $this->classname, true);
+    }
+
+    /**
+     * @throws CoercionException
+     *
+     * @return class-string<T>
+     */
+    public function coerce(mixed $value): string
+    {
+        if (is_string($value) && is_a($value, $this->classname, true)) {
+            return $value;
+        }
+
+        throw CoercionException::withValue($value, $this->toString(), $this->getTrace());
+    }
+
+    /**
+     * @throws AssertException
+     *
+     * @return class-string<T>
+     *
+     * @psalm-assert class-string<T> $value
+     */
+    public function assert(mixed $value): string
+    {
+        if (is_string($value) && is_a($value, $this->classname, true)) {
+            return $value;
+        }
+
+        throw AssertException::withValue($value, $this->toString(), $this->getTrace());
+    }
+
+    public function toString(): string
+    {
+        return 'class-string<' . $this->classname . '>';
+    }
+}
diff --git a/src/Psl/Type/class_string.php b/src/Psl/Type/class_string.php
new file mode 100644
index 00000000..207c1fc7
--- /dev/null
+++ b/src/Psl/Type/class_string.php
@@ -0,0 +1,17 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Psl\Type;
+
+/**
+ * @template T
+ *
+ * @param class-string<T> $classname
+ *
+ * @return TypeInterface<class-string<T>>
+ */
+function class_string(string $classname): TypeInterface
+{
+    return new Internal\ClassStringType($classname);
+}
diff --git a/tests/static-analysis/Type/class_string.php b/tests/static-analysis/Type/class_string.php
new file mode 100644
index 00000000..0343a03f
--- /dev/null
+++ b/tests/static-analysis/Type/class_string.php
@@ -0,0 +1,23 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Psl\Tests\StaticAnalysis\Type;
+
+use Psl;
+use Psl\Type;
+
+/**
+ * @param class-string<Psl\Collection\CollectionInterface> $_foo
+ */
+function take_collection_classname(string $_foo): void
+{
+}
+
+/**
+ * @throws Psl\Type\Exception\AssertException
+ */
+function tests(): void
+{
+    take_collection_classname(Type\class_string(Psl\Collection\CollectionInterface::class)->assert('foo'));
+}
diff --git a/tests/unit/Type/ClassStringTypeTest.php b/tests/unit/Type/ClassStringTypeTest.php
new file mode 100644
index 00000000..762befbc
--- /dev/null
+++ b/tests/unit/Type/ClassStringTypeTest.php
@@ -0,0 +1,42 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Psl\Tests\Unit\Type;
+
+use Psl\Collection;
+use Psl\Type;
+
+final class ClassStringTypeTest extends TypeTest
+{
+    public function getType(): Type\TypeInterface
+    {
+        return Type\class_string(Collection\CollectionInterface::class);
+    }
+
+    public function getValidCoercions(): iterable
+    {
+        yield [$_ = Collection\Vector::class, $_];
+        yield [$_ = Collection\MutableVector::class, $_];
+        yield [$_ = Collection\Map::class, $_];
+        yield [$_ = Collection\MutableMap::class, $_];
+    }
+
+    public function getInvalidCoercions(): iterable
+    {
+        yield [null];
+        yield [STDIN];
+        yield ['hello'];
+        yield [$this->stringable('foo')];
+        yield [new class {
+        }];
+    }
+
+    public function getToStringExamples(): iterable
+    {
+        yield [Type\class_string(Collection\MapInterface::class), 'class-string<Psl\Collection\MapInterface>'];
+        yield [Type\class_string(Collection\VectorInterface::class), 'class-string<Psl\Collection\VectorInterface>'];
+        yield [Type\class_string(Collection\Vector::class), 'class-string<Psl\Collection\Vector>'];
+        yield [Type\class_string(Collection\Map::class), 'class-string<Psl\Collection\Map>'];
+    }
+}