I mean three of the characters names are hat kid, bow kid, and mustache girl. So the names for any of the kids in hat in time are all kind of generic. But you said you don't know that much about hat in time, so I can forgive you if you didn't know these characters names.