diff --git a/docs/spec/special-types.rst b/docs/spec/special-types.rst
index 46e1f2bf..dc6cc420 100644
--- a/docs/spec/special-types.rst
+++ b/docs/spec/special-types.rst
@@ -175,7 +175,10 @@ Note that it is legal to use a union of classes as the parameter for
       user = new_user(user_class)
       ...
 
-However the actual argument passed in at runtime must still be a
+``type[]`` distributes over unions:
+``type[A | B]`` is the same as ``type[A] | type[B]``.
+
+However, the actual argument passed in at runtime must still be a
 concrete class object, e.g. in the above example::
 
   new_non_team_user(ProUser)  # OK