I suspect not, because in that case Type is not a Type itself, but a Kind.