2 ms·I suspect not, because in that case Type is not a Type itself, but a Kind.by amelius 1y agoI suspect not, because in that case Type is not a Type itself, but a Kind.