Factoring Rep types further.