| | | Kind of type | Full locality |
| | | holotype of species Holoarcus intermedius (Willemse, 1932) | Papuasia, New Guinea, Papua New Guinea: West Papua, Manoi |
| | | paratype of species Holoarcus intermedius (Willemse, 1932) | Papuasia, New Guinea, Papua New Guinea: West Papua, Manoi |
| | | paratype of species Holoarcus intermedius (Willemse, 1932) | Papuasia, New Guinea, Papua New Guinea: West Papua, Manoi |