After much discussion, the majority consensus is that `type[T]` should be assignable to `TypeForm[T]`. See [this PR](https://github.com/python/peps/pull/4269) for details. Pyright's experimental support for PEP 747 should be updated to reflect this change.