More HoTT benches