U of type confict with U of sets