| | | Kind of type | Full locality |
| | | [not recorded as a type] | Malesia, Borneo |
| | | holotype of species Mazarredia (Prosoaltus) cephalica (Haan, 1843) | Malesia, Sumatera: Batang Singalang |
| | | syntype of synonym Prosoaltus oculatus Hancock, 1913 | Malesia, Borneo, Sarawak: Kubah National Park, Mount Matang |
| | | [not recorded as a type] | Malesia, Sumatera: West Sumatra, Lake Maninjau, Puncak Lawang |
| | | [not recorded as a type] | Malesia, Sumatera: Bandar Baroe |
| | | [not recorded as a type] | Malesia, Sumatera: Kota Tjane |
| | | syntype of synonym Prosoaltus oculatus Hancock, 1913 | Malesia, Borneo, Sarawak: Kubah National Park, Mount Matang |