| | | Kind of type | Full locality |
| | | holotype of species Hylopedetes mirandus Rehn, 1929 | Central America, Costa Rica: Limon, La Emilia, near Guápiles |
| | | allotype of species Hylopedetes mirandus Rehn, 1929 | Central America, Costa Rica: Limon, La Emilia, near Guápiles |
| | | paratype of species Hylopedetes mirandus Rehn, 1929 | Central America, Costa Rica: Limon, La Emilia, near Guápiles |