| | | Kind of type | Full locality |
| | | syntype of species Holoarcus arcuatus (Haan, 1843); lectotype of species Holoarcus arcuatus (Haan, 1843) | Papuasia, New Guinea: West Papua |
| | | [not recorded as a type] | Papuasia, New Guinea, Irian Jaya: Arfak Mountains |
| | | [not recorded as a type] | Papuasia, New Guinea, Irian Jaya: Weyland Mountains |
| | | syntype of species Holoarcus arcuatus (Haan, 1843); paralectotype of species Holoarcus arcuatus (Haan, 1843) | Papuasia, New Guinea: West Papua |
| | | [not recorded as a type] | Papuasia, New Guinea: West Papua |