Sorry if this has been brought up before, but why is TypeForm[Any] not equal to the literal class or subclasses of Any? It seems redundant to have both TypeForm and TypeForm[Any] mean the same thing when there is no fully supported way to type hint Any as an argument itself.
It also seems counterintuitive to me that TypeForm[Any] does not actually mean the Any type itself, when it’s kind of the whole point of TypeForm to mean the types or subtypes literally contained in it.
Edit addition:
Therefore I propose that TypeForm means any valid type literally and TypeForm[Any] means Any or subclasses of it literally. I know this differs from type and type[Any], but I think it is worth it.